This is a potential security issue, you are being redirected to https://csrc.nist.rip.
Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.
We are building a provable archive!
A lock () or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)
Rick Kuhn
kuhn@nist.gov
1-301-975-3337
Address: https://www.nist.gov/people/d-richard-kuhn
Raghu Kacker
raghu.kacker@nist.gov
301-975-2109
Address: http://math.nist.gov/~RKacker/
Security and Privacy: assurance, modeling, testing & validation
Technologies: software & firmware
Quick start Downloadable Tools Combinatorial Methods in Testing Why do Combinatorial Testing? Event Sequence Testing Oracle-free Testing and Test Automation Case Studies Assured autonomy Explainable AI, Verification, and Validation Rule-based Expert Systems and Formal Methods Assured Autonomy Papers Case studies Input Space Measurement Why Measure Input Space? Case studies Cybersecurity Testing Combinatorial approach Magic mirror vulnerability testing tool 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
Rick Kuhn
kuhn@nist.gov
1-301-975-3337
Address: https://www.nist.gov/people/d-richard-kuhn
Raghu Kacker
raghu.kacker@nist.gov
301-975-2109
Address: http://math.nist.gov/~RKacker/
Security and Privacy: assurance, modeling, testing & validation
Technologies: software & firmware