First Page | Document Content | |
---|---|---|
Date: 2011-04-25 20:08:55Computing Concolic testing Symbolic execution Java Pathfinder Test Data Generation Fuzz testing KeY Model checking Dynamic program analysis Software testing Formal methods Software development | Symbolic Execution for Software Testing in Practice – Preliminary Assessment Imperial College London Microsoft ResearchAdd to Reading ListSource URL: research.microsoft.comDownload Document from Source WebsiteFile Size: 165,34 KBShare Document on Facebook |