U.S. flag   An official website of the United States government
Dot gov

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


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


Combinatorial Testing Of Our Tool (ACTS) - A Case Study

April 17, 2012


Rick Kuhn
Raghu Kacker
Yu Lei
Mehra Borazjany
Linbin Yu
Created October 13, 2016, Updated May 27, 2021