This is a potential security issue, you are being redirected to https://csrc.nist.gov
Drafts for Public Comment
All Public Drafts
Final Pubs
FIPS
Special Publications (SPs)
NISTIRs
ITL Bulletins
White Papers
Journal Articles
Conference Papers
Books
Security & Privacy
Applications
Technologies
Sectors
Laws & Regulations
Activities & Products
Computer Security Division
Applied Cybersecurity Division
Contact Us
Rick Kuhn kuhn@nist.gov1-301-975-3337Address: https://www.nist.gov/people/d-richard-kuhn
Raghu Kacker raghu.kacker@nist.gov301-975-2109Address: http://math.nist.gov/~RKacker/
Security and Privacy: assurance, modeling, testing & validation
Technologies: software & firmware
Downloadable Tools Combinatorial Methods in Testing Why do Combinatorial Testing? Event Sequence Testing Oracle-free Testing and Test Automation Case Studies Coverage Measurement Why Measure Combinatorial Coverage? Case studies Autonomous Systems Assurance Explainable AI, Verification, and Validation Rule-based Expert Systems and Formal Methods Case studies Cybersecurity Testing Combinatorial approach Case studies ACTS Library Papers Covering Array Library Seminars & Talks & Tutorial Combinatorial Methods For Modeling & Simulation Workshop Papers DOs and DON'Ts of testing Our Research Program
Rick Kuhn kuhn@nist.gov1-301-975-3337Address: https://www.nist.gov/people/d-richard-kuhn Raghu Kacker raghu.kacker@nist.gov301-975-2109Address: http://math.nist.gov/~RKacker/
Access Control Policy Testing