D.J.: An automated approach for goal-driven, specification-based testing (2006)

by K Winbladh, T A Alspaugh, H Ziv, Richardson
Venue:In: ASE 2006: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering