Combining Static Analysis and Constraint Solving for Automatic Test Case Generation.

Kostyantyn Vorobyov, Padmanabhan Krishnan

Browse the full ICST paper archive.