Minimal Detecting Transition Sequences: Application to Random Testing

René David, Pascale Thévenod-Fosse. Minimal Detecting Transition Sequences: Application to Random Testing. IEEE Transactions on Computers, 29(6):514-518, 1980.

Abstract

Abstract is missing.