@inproceedings(AndrewsBL05,
 author       = "J. H. Andrews and L. C. Briand and Y. Labiche",
 year         = "2005",
 title        = "{Is Mutation an Appropriate Tool for Testing Experiments?}",
 booktitle    = "Proceedings of the 27th International Conference on Software Engineering (ICSE'05)",
 address      = "St Louis, Missouri",
 pages        = "402--411",
 doi          = "10.1145/1062455.1062530",
)
@article(brandis94,
 author       = "M. M. Brandis and H. M{\"o}ssenb{\"o}ck",
 year         = "1994",
 title        = "Single-pass generation of static assignment form for structured languages",
 journal      = "ACM TOPLAS",
 volume       = "16(6)",
 pages        = "1684--1698",
 doi          = "10.1145/197320.197331",
)
@article(Collavizza,
 author       = "H\'{e}l\`{e}ne Collavizza and Michel Rueher and Pascal Hentenryck",
 year         = "2010",
 title        = "CPBPV: a constraint-programming framework for bounded program verification",
 journal      = "Constraints",
 volume       = "15",
 pages        = "238--264",
 doi          = "10.1007/s10601-009-9089-9",
)
@inproceedings(Denmat07improvingconstraint,
 author       = "Tristan Denmat and Arnaud Gotlieb and Mireille Ducassé",
 year         = "2007",
 title        = "Improving constraint-based testing with dynamic linear relaxations",
 booktitle    = "In 18th IEEE International Symposium on Software Reliability Engineering (ISSRE’ 2007",
 doi          = "10.1109/ISSRE.2007.12",
)
@inproceedings(min,
 author       = "I.P. Gent and C. Jefferson and I. Miguel",
 year         = "2006",
 title        = "{Minion: A fast, scalable, constraint solver}",
 booktitle    = "{17th European Conference on Artificial Intelligence ECAI-06}",
 address      = "Trento, Italy",
 pages        = "98--102",
)
@inproceedings(euclide,
 author       = "A. Gotlieb",
 year         = "2009",
 title        = "Euclide: A Constraint-Based Testing Framework for Critical C Programs",
 booktitle    = "Software Testing Verification and Validation, 2009. ICST '09. International Conference on",
 pages        = "151 --160",
 doi          = "10.1109/ICST.2009.10",
)
@inproceedings(GotliebATD,
 author       = "Arnaud Gotlieb and Bernard Botella and Michel Rueher",
 year         = "1998",
 title        = "Automatic test data generation using constraint solving techniques",
 booktitle    = "Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis",
 series       = "ISSTA '98",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "53--62",
 doi          = "10.1145/271775.271790",
)
@article(Hierons99usingprogram,
 author       = "Robert Hierons and Mark Harman and Sebastian Danicic",
 year         = "1999",
 title        = "Using Program Slicing to Assist in the Detection of Equivalent Mutants",
 journal      = "Software Testing, Verification and Reliability",
 volume       = "9",
 pages        = "233--262",
)
@article(JiaH10,
 author       = "Y. Jia and Mark Harman",
 year         = "2010",
 title        = "{An Analysis and Survey of the Development of Mutation Testing}",
 journal      = "IEEE Transactions of Software Engineering",
 number       = "99",
 pages        = "1",
 doi          = "10.1109/TSE.2010.62",
)
@inproceedings(wot2010b,
 author       = "Mihai Nica and Simona Nica and Franz Wotawa",
 year         = "2010",
 title        = "Does testing help to reduce the number of potentially faulty statement in debugging?",
 booktitle    = "Testing: Academic \& Industrial Conference Practice and Research Techniques (TAIC PART)",
 publisher    = "Springer LNCS",
)
@inproceedings(NP,
 author       = "S. Nica and B. Peischl",
 year         = "{2009}",
 title        = "{Challenges in Applying Mutation Analysis on {EJB}-based Business Applications}",
 booktitle    = "{Proceedings of Metrikon 2009}",
 address      = "Kaiserslautern, Germany",
)
@article(oc,
 author       = "A. J. Offutt and W. M. Craft",
 year         = "{1994}",
 title        = "{Using compiler optimization techniques to detect equivalent mutants}",
 journal      = "{Software Testing, Verification, and Reliability}",
 pages        = "{131--154}",
 doi          = "10.1002/stvr.4370040303",
)
@mastersthesis(offpanConstr,
 author       = "Jie Pan",
 year         = "1994",
 title        = "{Using Constraints to Detect Equivalent Mutants}",
 school       = "George Mason University, Fairfax, VA",
)
@article(tcas,
 author       = "G. Rothermel and M.J. Harrold",
 year         = "1990",
 title        = "Empirical studies of a safe regression test selection technique",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "24",
 number       = "6",
 pages        = "401–--419",
 doi          = "10.1145/367008.367020",
)
@inproceedings(zeller,
 author       = "David Schuler and Andreas Zeller",
 year         = "2010",
 title        = "(Un-)Covering Equivalent Mutants",
 booktitle    = "ICST '10: Third International Conference on Software Testing, Verification and Validation",
 publisher    = "IEEE Computer Society",
 pages        = "45--54",
 doi          = "10.1109/ICST.2010.30",
)
@article(SeungMa,
 author       = "Y.S.Ma and J. Offutt and Y. R. Kwon",
 year         = "2005",
 title        = "{MuJava : An Automated Class Mutation System}",
 journal      = "Software Testing, Verification and Reliability",
 volume       = "15",
 pages        = "97--133",
 doi          = "10.1002/stvr.308",
)