@misc{indiciaed1e70735cf12,
  title = {An Overview of the Runtime Verification Tool Java PathExplorer},
  author = {Havelund, Klaus and Rosu, Grigore and Clancy, Daniel},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20030002816},
  note = {Source identifier: 20030002816}
}