Property Directed Test Case Generation
November 2016 • Presentation
Edward J. Schwartz
This work automatically generated executables to trigger desired behaviors for testing
Software Engineering Institute
The tool developed in this work takes a declarative description of a behavior (e.g., an execution with a buffer overflow, an execution reaching a dangerous function call, or leaking sensitive information through a low-security interface) and automatically generates an executable test harness that executes it.