B. K. Aichernig and E. Jobstl, Efficient Refinement Checking for Model-Based Mutation Testing, 2012 12th International Conference on Quality Software, p.China, 2012.
DOI : 10.1109/QSIC.2012.58

K. Androutsopoulos, D. Clark, H. Dan, R. M. Hierons, and M. Harman, An analysis of the relationship between conditional entropy and failed error propagation in software testing, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.573-583, 2014.
DOI : 10.1145/2568225.2568314

R. A. Assi, W. Masri, and F. Zaraket, UCov: a user-defined coverage criterion for test case intent verification. Software Testing, Verification and Reliability pp, pp.1-32, 2016.

T. A. Budd and D. Angluin, Two notions of correctness and their relation to testing, Acta Informatica, vol.6, issue.3, p.3145, 1982.
DOI : 10.1109/TSE.1975.6312836

R. Carver, Mutation-based testing of concurrent programs, Proceedings of IEEE International Test Conference, (ITC), pp.845-853, 1993.
DOI : 10.1109/TEST.1993.470617

T. Y. Chen, P. L. Poon, and X. Xie, METRIC: METamorphic Relation Identification based on the Category-choice framework, Journal of Systems and Software, vol.116, pp.177-190, 2016.
DOI : 10.1016/j.jss.2015.07.037

M. Gligoric, V. Jagannath, and D. Marinov, MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code, 2010 Third International Conference on Software Testing, Verification and Validation, pp.55-64, 2010.
DOI : 10.1109/ICST.2010.33

M. Harman and R. M. Hierons, An overview of program slicing, Software Focus, vol.40, issue.3, pp.85-92, 2001.
DOI : 10.1016/S0950-5849(98)00029-9
URL : http://www.brunel.ac.uk/~csstmmh2/focus.ps

M. Harman, P. Mcminn, M. Shahbaz, and S. Yoo, A comprehensive survey of trends in oracles for software testing, 2013.

Y. Jia and M. Harman, An Analysis and Survey of the Development of Mutation Testing, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.649-678, 2011.
DOI : 10.1109/TSE.2010.62

W. Masri and R. Assi, Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization, 2010 Third International Conference on Software Testing, Verification and Validation, pp.165-174, 2010.
DOI : 10.1109/ICST.2010.22

W. Masri and R. A. Assi, Prevalence of coincidental correctness and mitigation of its impact on fault localization, ACM Transactions on Software Engineering and Methodology, vol.23, issue.1, pp.1-28, 2014.
DOI : 10.1109/ECBS.2007.31

A. J. Offutt, Investigations of the software testing coupling effect, ACM Transactions on Software Engineering and Methodology, vol.1, issue.1, pp.5-20, 1992.
DOI : 10.1145/125489.125473

A. J. Offutt and S. D. Lee, How strong is weak mutation?, Proceedings of the symposium on Testing, analysis, and verification , TAV4, pp.200-213, 1991.
DOI : 10.1145/120807.120826

M. Papadakis, Y. Jia, M. Harman, and Y. L. Traon, Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.936-946, 2015.
DOI : 10.1109/ICSE.2015.103

G. Paperin, JAGA -Java API for Genetic Algorithms, 2004.

K. Patel and R. M. Hierons, Interlocutory Testing: Combating Coincidental Correctness in Testing. people.brunel.ac.uk, 2015.

J. N. Rouvignac, AutoRefactor. https://marketplace.eclipse.org/content, 2015.

M. S. Sadi, F. C. Kuo, J. W. Ho, M. A. Charleston, and T. Y. Chen, VERIFICATION OF PHYLOGENETIC INFERENCE PROGRAMS USING METAMORPHIC TESTING, Journal of Bioinformatics and Computational Biology, vol.2005, issue.06, pp.729-747, 2011.
DOI : 10.1109/TSE.2010.23

. Scitools, Understand static code analysis tool. https://scitools, 2016.

J. Voas, PIE: a dynamic failure-based technique, IEEE Transactions on Software Engineering, vol.18, issue.8, pp.717-727, 1992.
DOI : 10.1109/32.153381

X. Yao, M. Harman, and Y. Jia, A study of equivalent and stubborn mutation operators using human analysis of equivalence, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.919-930, 2014.
DOI : 10.1145/2568225.2568265