Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date


Property Directed Test Case Generation

  • November 2016
  • By Edward J. Schwartz
  • This work automatically generated executables to trigger desired behaviors for testing
  • Publisher: Software Engineering Institute
  • Abstract

    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.

  • Download

Part of a Collection

SEI 2016 Research Review