MUMCUT: a fault-based strategy for testing Boolean specifications

Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509) ◽

10.1109/apsec.1999.809656 ◽

2003 ◽

Author(s):

T.Y. Chen ◽

M.F. Lau ◽

Y.T. Yu

Download Full-text