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
Raghu Kacker raghu.kacker@nist.gov301-975-2109
Security and Privacy: assurance, modeling, testing & validation
Technologies: software & firmware
Downloadable Tools Combinatorial Methods in Testing Why do Combinatorial Testing? Coverage Measurement Event Sequence Testing Oracle-free Testing and Test Automation Case Studies Autonomous Systems Assurance Explainable AI, Verification, and Validation Rule-based Expert Systems and Formal Methods Autonomous system testing and 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 Raghu Kacker raghu.kacker@nist.gov301-975-2109
Access Control Policy Testing
