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

Digital Library

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