@inproceedings{holzer:schallhart:tautschnig:veith:ase10,
  title = "How did you specify your test suite ?",
  author = "Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith",
  year = "2010",
  address = "Antwerp, Belgium",
  booktitle = "Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)",
  isbn = "978-1-4503-0116-9",
  month = "September",
  pages = "407--416",
  publisher = "ACM",
}