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

Topics

Publication Date

Presentation

Statistical Model Checking for SWARMS

  • November 2016
  • By Jeffrey Hansen
  • Research that validates approach of applying adaptive sampling and input attribution toward model checkint and attribution of failure conditions
  • Publisher: Software Engineering Institute
  • Abstract

    The project produced source code, prototype tools, and experimental results that validate the approach of applying adaptive sampling and input attribution toward (1) statistical model checking and (2) attribution of failure conditions.

  • Download

Part of a Collection

SEI 2016 Research Review