@Inproceedings{EPTCS86.1,
  author    = {Nica, Simona and Wotawa, Franz},
  year      = {2012},
  title     = {Using Constraints for Equivalent Mutant Detection},
  editor    = {Andr\'es, C\'esar and Llana, Luis },
  booktitle = {{\rm Proceedings 2nd Workshop on}
               Formal Methods in the Development of Software ,
               {\rm Paris, France, August 28, 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {86},
  publisher = {Open Publishing Association},
  pages     = {1-8},
  doi       = {10.4204/EPTCS.86.1},
}