1 paper
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…