J. Armstrong, R. Virding, C. Wikström, and M. Williams, Concurrent Programming in ERLANG, 1996.

T. Arts, J. Hughes, J. Johansson, and U. T. Wiger, Testing telecoms software with quviq QuickCheck, Proceedings of the 2006 ACM SIGPLAN workshop on Erlang , ERLANG '06, pp.2-10, 2006.
DOI : 10.1145/1159789.1159792

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Baker and I. Habli, An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software, IEEE Transactions on Software Engineering, vol.39, issue.6, pp.787-805, 2013.
DOI : 10.1109/TSE.2012.56

R. Carlsson and M. Rémond, EUnit, Proceedings of the 2006 ACM SIGPLAN workshop on Erlang , ERLANG '06, pp.1-1, 2006.
DOI : 10.1145/1159789.1159791

G. Fraser and A. Arcuri, Whole Test Suite Generation, IEEE Transactions on Software Engineering, vol.39, issue.2, pp.276-291, 2013.
DOI : 10.1109/TSE.2012.14

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Fraser and A. Arcuri, Achieving scalable mutation-based generation of whole test suites, Empirical Software Engineering, vol.29, issue.5, 2014.
DOI : 10.1007/s10664-013-9299-z

G. Fraser and N. Walkinshaw, Behaviourally Adequate Software Testing, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 2012.
DOI : 10.1109/ICST.2012.110

G. Fraser and A. Zeller, Mutation-Driven Generation of Unit Tests and Oracles, IEEE Transactions on Software Engineering, vol.38, issue.2, pp.278-292, 2012.
DOI : 10.1109/TSE.2011.93

R. G. Hamlet, Testing Programs with the Aid of a Compiler, IEEE Transactions on Software Engineering, vol.3, issue.4, pp.279-290, 1977.
DOI : 10.1109/TSE.1977.231145

M. Harman, Y. Jia, and W. B. Langdon, Strong higher order mutation-based test data generation, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.212-222, 2011.
DOI : 10.1145/2025113.2025144

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Le, M. A. Alipour, R. Gopinath, and A. Groce, MuCheck: an extensible tool for mutation testing of haskell programs, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp.429-432, 2014.
DOI : 10.1145/2610384.2628052

H. Li and S. Thompson, A User-extensible Refactoring Tool for Erlang Programs, 2011.

P. R. Mateo, M. P. Usaola, and J. Offutt, Mutation at the multi-class and system levels, Science of Computer Programming, vol.78, issue.4, pp.364-387, 2013.
DOI : 10.1016/j.scico.2012.02.005

R. G. Taylor and J. Derrick, Smother: an MC/DC analysis tool for Erlang, Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, Erlang 2015, 2015.
DOI : 10.1145/2804295.2804297