First Page | Document Content | |
---|---|---|
Date: 2014-11-10 23:12:58Software engineering Computer programming Software testing Software metrics Abstract interpretation Symbolic execution Assertion Constant Code coverage | Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2Add to Reading ListSource URL: web.cs.ucdavis.eduDownload Document from Source WebsiteFile Size: 138,12 KBShare Document on Facebook |