software testing and analysis
A survey of new trends in symbolic execution for software testing and analysis
FREE-DOWNLOAD [PDF] CS Pasareanu… – International Journal on Software Tools for …, 2009 –
. REGULAR PAPER A survey of new trends in symbolic execution for software testing and analysis
Corina S. P?as?areanu · Willem Visser . In particular, we focus here on approaches to software
testing and analysis that are based on (forward) symbolic execution.