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. 





FREE IEEE PAPER