Back to Results
First PageMeta Content
Software engineering / Computing / Software testing / Software / Concurrent programming languages / Electronic design automation / Formal methods / NP-complete problems / Fuzz testing / Random testing / Satisfiability modulo theories / Symbolic execution


Automated Software Testing for the 21st Century Patrice Godefroid Microsoft Research TCE’2015
Add to Reading List

Document Date: 2015-06-18 08:12:13


Open Document

File Size: 3,41 MB

Share Result on Facebook