Specification-based testing using cause-effect graphsAmit ParadkarK.C. Taiet al.1997Annals of Software Engineering