Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Combinatorial Methods for Trust and Assurance

Project Links

Overview FAQs

Tutorials and documentation

Tutorial (English or Español) on combinatorial methods for software testing (pdf)
ACTS User Guide - how to use the ACTS test generation tool (pdf)
ACTS API manual - how to invoke ACTS functions from other code (zip)
Combinatorial Coverage Measurement - explains various coverage measurements and how to use the tool for computing these. There is also a manual for the command line version of the CCM tool.
Fault ID user manual - for tool that helps identify likely fault-triggering combinations in failing tests
PEV tool user manual - testing rule-based expert systems or business rule engine/workflow systems.

Project Links

Additional Pages

Quick start Downloadable Tools Tutorials and Documentation Combinatorial Methods in Testing Why do Combinatorial Testing? Event Sequence Testing Case Studies Assured autonomy Explainable AI, Verification, and Validation Rule-based Expert Systems and Formal Methods AI and Assured Autonomy Papers Assured Autonomy - briefings and videos Case studies CHIPS Semiconductor Functional Verification Technical Plan Benefits Hardware and Embedded Security Automated Testing Automated Test Generation Oracle-free Testing Property based Testing Input space measurement for autonomy and testing Input Space Coverage Measurement Coverage examples Case studies Cybersecurity Testing Combinatorial approach MagicMirror smart contract testing Case studies Software Testing Methodology NIST Testing Process DOs and DON'Ts of testing ACTS Library Fundamental background papers Papers on combinatorial test methods Covering Array Library Seminars & Talks & Tutorial Combinatorial Methods For Modeling & Simulation Workshop Papers Our Research Program

Contacts

Rick Kuhn
kuhn@nist.gov
Address: https://www.nist.gov/people/d-richard-kuhn

Raghu Kacker
raghu.kacker@nist.gov
301-975-2109
Address: http://math.nist.gov/~RKacker/

M S Raunak
raunak@nist.gov

Group

Security Components and Mechanisms

Topics

Security and Privacy: assurance, modeling, testing & validation

Technologies: software & firmware

Related Projects

Access Control Policy Testing

Additional Pages

Quick start Downloadable Tools Tutorials and Documentation Combinatorial Methods in Testing Why do Combinatorial Testing? Event Sequence Testing Case Studies Assured autonomy Explainable AI, Verification, and Validation Rule-based Expert Systems and Formal Methods AI and Assured Autonomy Papers Assured Autonomy - briefings and videos Case studies CHIPS Semiconductor Functional Verification Technical Plan Benefits Hardware and Embedded Security Automated Testing Automated Test Generation Oracle-free Testing Property based Testing Input space measurement for autonomy and testing Input Space Coverage Measurement Coverage examples Case studies Cybersecurity Testing Combinatorial approach MagicMirror smart contract testing Case studies Software Testing Methodology NIST Testing Process DOs and DON'Ts of testing ACTS Library Fundamental background papers Papers on combinatorial test methods Covering Array Library Seminars & Talks & Tutorial Combinatorial Methods For Modeling & Simulation Workshop Papers Our Research Program

Contacts

Rick Kuhn
kuhn@nist.gov
Address: https://www.nist.gov/people/d-richard-kuhn

Raghu Kacker
raghu.kacker@nist.gov
301-975-2109
Address: http://math.nist.gov/~RKacker/

M S Raunak
raunak@nist.gov

Group

Security Components and Mechanisms

Topics

Security and Privacy: assurance, modeling, testing & validation

Technologies: software & firmware

Related Projects

Access Control Policy Testing

Created May 24, 2016, Updated April 29, 2024