Skip to main content
U.S. flag

An official website of the United States government

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.

Pseudo-Exhaustive Testing for Software



David R. Kuhn, Vadim Okun


Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes advantage of two relatively recent advances in software engineering: algorithms for efficiently generating covering arrays to represent software interaction test suites, and automated generation of test oracles using model checking. An experiment with a module of the traffic collision avoidance system (TCAS) illustrates the approach testing pairwise through 6-way interactions. We also outline current and future work applying the test methodology to a large real-world application, the personal identity verification (PIV) smart card.
Conference Dates
April 24-28, 2006
Conference Location
Columbia, MD
Conference Title
30th Annual IEEE/NASA Software Engineering Workshop (SEW '06)


automated testing, combinatorial testing, software testing


Kuhn, D. and Okun, V. (2006), Pseudo-Exhaustive Testing for Software, 30th Annual IEEE/NASA Software Engineering Workshop (SEW '06), Columbia, MD, [online], (Accessed July 15, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created April 28, 2006, Updated November 10, 2018