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. 



COMMENT computer science, free research papers





FREE IEEE PAPER





software testing and analysis IEEE PAPER



2020 TECHNOLOGY