TY  - RPRT
TI  - Verification of Java Programs using Symbolic Execution and Invariant Generation
AU  - Pasareanu, Corina
AU  - Visser, Willem
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040068136
ID  - 20040068136
ER  -