Back to Results
First PageMeta Content
Software testing / Concolic testing / Symbolic execution / Java Pathfinder / KeY / Random testing / Model checking / Satisfiability modulo theories / Unit testing / Type system / White-box testing / Fuzz testing


Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London
Add to Reading List

Document Date: 2016-03-08 07:04:45


Open Document

File Size: 209,85 KB

Share Result on Facebook