Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation.

Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-Gonzlez

Browse the full SAS paper archive.