@misc{indiciaefff50cf31a3c,
  title = {Generalized Symbolic Execution for Model Checking and Testing},
  author = {Khurshid, Sarfraz and Pasareanu, Corina and Visser, Willem and Kofmeyer, David},
  year = {2003},
  url = {https://ntrs.nasa.gov/citations/20030017985},
  note = {Source identifier: 20030017985}
}