@inproceedings{macs12annales,
  title = {Improving Quality of Software Analyser and Transformer Tools using Specification Based Testing},
  author = {Máté Tejfel and Melinda Tóth and István Bozó and Dániel Horpácsi and Zoltán Horváth},
  year = {2012},
  booktitle = {Selected papers of 9th Joint Conference on Mathematics and Computer Science, ANNALES Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae Sectio Computatorica, ISSN: 0138-9491},
  volume = {37},
  pages = {355--368},
}