@misc{macs12abstract,
  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},
  month = {February},
  howpublished = {In abstacts booklet of the 9th Joint Conference on Mathematics and Computer Science, Siófok, Hungary},
}