Corina S. Pasareanu, Willem Visser. Verification of Java Programs Using Symbolic Execution and Invariant Generation. In Susanne Graf, Laurent Mounier, editors, Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Volume 2989 of Lecture Notes in Computer Science, pages 164-181, Springer, 2004. [doi]
Abstract is missing.