Test input generation with java PathFinder

Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid. Test input generation with java PathFinder. In George S. Avrunin, Gregg Rothermel, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004. pages 97-107, ACM, 2004. [doi]

Authors

Willem Visser

This author has not been identified. Look up 'Willem Visser' in Google

Corina S. Pasareanu

This author has not been identified. Look up 'Corina S. Pasareanu' in Google

Sarfraz Khurshid

This author has not been identified. Look up 'Sarfraz Khurshid' in Google