Showing posts with label
symbolic execution
.
Show all posts
Showing posts with label
symbolic execution
.
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
