![Software engineering / Computer programming / Software testing / Software metrics / Abstract interpretation / Symbolic execution / Assertion / Constant / Code coverage Software engineering / Computer programming / Software testing / Software metrics / Abstract interpretation / Symbolic execution / Assertion / Constant / Code coverage](https://www.pdfsearch.io/img/05c707ac0c76b38f788fff9e2d0311bf.jpg) 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 Website File Size: 138,12 KBShare Document on Facebook
|