@misc{indiciae0e3678e90582,
  title = {Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration},
  author = {Groce, Alex and Joshi, Rajeev},
  year = {2008},
  url = {https://ntrs.nasa.gov/citations/20150014750},
  note = {Source identifier: 20150014750}
}