1 paper · 1 filter
Mark Mossberg, Felipe Manzano, Eric Hennenfent +5
An effective way to maximize code coverage in software tests is through dynamic symbolic execution−a technique that uses constraint solving to systematically explore a program's…