Combinatorial Testing

Assured Autonomy - briefings and videos

Conference presentations of applications of combinatorial methods to assured autonomy

Combinatorial Coverage for Assured Autonomy. The 1st IEEE International Workshop on Assured Autonomy, Artificial Intelligence and Machine Learning, Charlotte, October 31, 2022
PPT with audio narration MP4 video

Project Links

Overview FAQs

Additional Pages

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 AI and Assured Autonomy Papers Assured Autonomy - briefings and videos Case studies Input space measurement for autonomy and testing Input Space Coverage Measurement Coverage examples 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

Contacts

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/

M S Raunak

Topics

Security and Privacy: assurance, modeling, testing & validation

Technologies: software & firmware

Related Projects

Access Control Policy Testing