Date: 2005-06-09 19:14:00Data types Procedural programming languages C Standard Library Type theory Abstract interpretation Symbolic execution Printf format string C ALGOL 68 Computing Software engineering Computer programming | | Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler∗ Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.Add to Reading ListSource URL: hci.stanford.eduDownload Document from Source Website File Size: 132,27 KBShare Document on Facebook
|