IEEE Software Blog
Showing posts with label test generation. Show all posts
Showing posts with label test generation. Show all posts
Monday, September 19, 2016

Comprehensively testing software patches with symbolic execution

›
by Cristian Cadar (@c_cadar) , Tomasz Kuchta (@Tomasz_Kuchta) , Paul Marinescu and Hristina Palikareva (@in...
1 comment:
›
Home
View web version
Powered by Blogger.