"Statically Validating Must Summaries for Incremental Compositional Dynamic ..."

Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics