Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2 - Code coverage - Document - PDFSEARCH.IO

First Page	Meta Content
	Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2 Add to Reading List Document Date: 2014-11-10 23:12:58 Open Document File Size: 138,12 KB Share Result on Facebook

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2Add to Reading List