@misc{indiciae7c75eaaabf68,
  title = {Model-Driven Test Generation of Distributed Systems},
  author = {Easwaran, Arvind and Hall, Brendan and Schweiker, Kevin},
  year = {2012},
  url = {https://ntrs.nasa.gov/citations/20120014302},
  note = {Source identifier: 20120014302}
}