Generating a checking sequence with a minimum number of reset transitions

Robert M. Hierons, Hasan Ural. Generating a checking sequence with a minimum number of reset transitions. Automated Software Engineering, 17(3):217-250, 2010. [doi]

Abstract

Abstract is missing.