DMCA

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation

by Patrice Godefroid , Shuvendu K. Lahiri , Cindy Rubio-gonzález
Citations:13 - 6 self