@misc{indiciae1c42131c66d9,
  title = {Directed Incremental Symbolic Execution},
  author = {Person, Suzette and Yang, Guowei and Rungta, Neha and Khurshid, Sarfraz},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20110023245},
  note = {Source identifier: 20110023245}
}