DART: Directed automated random testing
Patrice Godefroid, Nils Klarlund, Koushik Sen[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI '05
Chicago, IL, USA
Association for Computing Machinery
New York, NY, USA
Pages 213-223
2005
Note(s): DART verifier, symbolic execution
PLDI '05
Chicago, IL, USA
Association for Computing Machinery
New York, NY, USA
Pages 213-223
2005
Note(s): DART verifier, symbolic execution