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

  • October 2016
  • By Jeff Gennari
  • Property Directed Test-case Generation
  • Publisher: Software Engineering Institute
  • Abstract

    Manually finding inputs to trigger a behavior of interest in a program is complex and time consuming.  In this project, we repurpose existing formal methods techniques to help automate this problem. We use counter examples produced by SEI’s Seahorn model checker to create executable harnesses that demonstrate how the behavior of interest can be reached.

  • Download

Part of a Collection

SEI 2016 Research Review