Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

Conference Proceedings

Pseudo-exhaustive Verification of Rule Based Systems

Published: July 01, 2018

Author(s)

Richard Kuhn (NIST), Dylan Yaga (NIST), Raghu Kacker (NIST), Yu Lei (UTA), Vincent Hu (NIST)

Conference

Name: The 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018)
Dates: July 1-3, 2018
Location: Redwood City, California, United States
Citation: SEKE 2018, pp. 586-591

Abstract

Keywords

combinatorial testing; constraint solvers; formal methods; t-way testing; rule-based systems; test automation
Control Families

None selected

Documentation

Publication:
Conference Proceedings (DOI)

Supplemental Material:
None available

Topics

Security and Privacy
testing & validation

Technologies
artificial intelligence; software

Activities and Products
conferences & workshops