Test input generation with Java PathFinder: then and now (invited talk abstract).

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser

Browse the full ISSTA paper archive.