@misc{indiciae499d0b416243,
  title = {Finding Feasible Abstract Counter-Examples},
  author = {Pasareanu, Corina S. and Dwyer, Matthew B. and Visser, Willem and Clancy, Daniel},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20020079828},
  note = {Source identifier: 20020079828}
}