Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
PÄsÄreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, NehaVolume:
20
Language:
english
Journal:
Automated Software Engineering
DOI:
10.1007/s10515-013-0122-2
Date:
September, 2013
File:
PDF, 1.31 MB
english, 2013