Test Input Generation with Java PathFinder

by Willem Visser , Corina S. Pasareanu , Sarfraz Khurshid
Citations:140 - 6 self