Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Projects Combinatorial Methods for Trust and Assurance Automated Testing

Combinatorial Methods for Trust and Assurance

Oracle-free Testing

Combinatorial methods make it possible to detect a significant proportion of faults without a conventional test oracle.  This seemingly impossible task is achieved using two layers of covering arrays with equivalence classes.

Contacts

Rick Kuhn, NIST
Address: https://www.nist.gov/people/d-richard-kuhn

Raghu Kacker, NIST
301-975-2109
Address: http://math.nist.gov/~RKacker/

M S Raunak, NIST

Topics

Security and Privacy: assurance, modeling, testing & validation

Technologies: semiconductors, software & firmware

Created May 24, 2016, Updated September 12, 2024