SpecificationBased Testing Using Cause-Effect Graphs (1997)

by Amit Paradkar, K C Tai, M A Vouk
Venue:Annals of Software Engineering