Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation

Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González. Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. In Eran Yahav, editor, Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Volume 6887 of Lecture Notes in Computer Science, pages 112-128, Springer, 2011. [doi]

Authors

Patrice Godefroid

This author has not been identified. Look up 'Patrice Godefroid' in Google

Shuvendu K. Lahiri

This author has not been identified. Look up 'Shuvendu K. Lahiri' in Google

Cindy Rubio-González

This author has not been identified. Look up 'Cindy Rubio-González' in Google