@InProceedings(Winbladh+Alspaugh+2006-aagd,
  author =       {Winbladh, Kristina and Alspaugh, Thomas A. and Ziv,
                 Hadar and Richardson, Debra J.},
  title =        {An Automated Approach for Goal-driven,
                 Specification-based Testing},
  booktitle =    {International Conference on Automated Software
                 Engineering (ASE'06)},
  pages =        {289--292},
  year =         {2006},
  month =        sep,
)