| Title | An Automated Approach for Goal-driven, Specification-based Testing |
| Publication Type | Conference Proceedings |
| Year of Publication | 2006 |
| Authors | Winbladh, K., T. A. Alspaugh, H. Ziv, and D. J. Richardson |
| Conference Name | 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006) |
| Pagination | 289-292 |
| Date Published | September |
| Conference Location | Tokyo, Japan |