Back to Results
First PageMeta Content
Data 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 List

Document Date: 2005-06-09 19:14:00

Open Document

File Size: 132,27 KB

Share Result on Facebook

Company

Intel / /

IndustryTerm

software testing research / exponential and doubly-exponential algorithms / typical web server core / depthfirst search / web server / software component / few real systems / /

OperatingSystem

Unix / DoS / /

Organization

US Federal Reserve / Stanford University Stanford / /

Person

Code Crash Itself Cristian Cadar / Dawson Engler / Ben Pfaff / /

Position

author / back forward / straight-forward / representative / co-author / /

Product

WsMp3 version 0.0.5 / WsMp3 0.0.5 / /

ProgrammingLanguage

C / /

ProvinceOrState

California / /

Technology

RAM / MP3 / simulation / operating system / Operating Systems / Unix / web server / exponential and doubly-exponential algorithms / /

URL

http /

SocialTag