Automatic generation of test cases from Boolean specifications using the MUMCUT strategy

Yuen-Tak Yu, Man Fai Lau, Tsong Yueh Chen. Automatic generation of test cases from Boolean specifications using the MUMCUT strategy. Journal of Systems and Software, 79(6):820-840, 2006. [doi]

Abstract

Abstract is missing.