• Test input generation with jav...

Treffer: Test input generation with java PathFinder

Title:
Test input generation with java PathFinder
Authors:
Visser, Willem, Pǎsǎreanu, Corina S., Khurshid, Sarfraz
Source:
Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis. :97-107
Availability:
http://dl.acm.org/doi/10.1145/1007512.1007526
Database:
ACM Full-Text Collection