13 citations · 23 across the 10 of their papers we have counts for
1 paper · 2 filters
Przemysław Daca, Ashutosh Gupta, Thomas A. Henzinger
Concolic testing is a promising method for generating test suites for large programs. However, it suffers from the path-explosion problem and often fails to find tests that cover d…