Hybrid concolic testing
Rupak Majumdar, Koushik Sen[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 29th International Conference on Software Engineering
ICSE '07
IEEE Computer Society
USA
Pages 416-426
2007
Note(s): concolic execution, symbolic execution, hybrid testing
ICSE '07
IEEE Computer Society
USA
Pages 416-426
2007
Note(s): concolic execution, symbolic execution, hybrid testing