{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T10:08:43Z","timestamp":1749118123222,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319259444"},{"type":"electronic","value":"9783319259451"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25945-1_11","type":"book-chapter","created":{"date-parts":[[2015,11,6]],"date-time":"2015-11-06T22:20:37Z","timestamp":1446848437000},"page":"178-193","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["mu2: A Refactoring-Based Mutation Testing Framework for Erlang"],"prefix":"10.1007","author":[{"given":"Ramsay","family":"Taylor","sequence":"first","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"issue":"9","key":"11_CR1","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/1810891.1810910","volume":"53","author":"J Armstrong","year":"2010","unstructured":"Armstrong, J.: Erlang. Commun. ACM 53(9), 68\u201375 (2010)","journal-title":"Commun. ACM"},{"key":"11_CR2","volume-title":"Concurrent Programming in ERLANG","author":"J Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in ERLANG. Prentice Hall, Hertfordshire (1996)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Arts, T., Hughes, J., Johansson, J., Wiger, U.T.: Testing telecoms software with quviq QuickCheck. In: Feeley, M., Trinder, P.W. (eds.) Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, pp. 2\u201310. ACM (2006)","DOI":"10.1145\/1159789.1159792"},{"issue":"6","key":"11_CR4","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1109\/TSE.2012.56","volume":"39","author":"R Baker","year":"2013","unstructured":"Baker, R., Habli, I.: An empirical evaluation of mutation testing for improving the test quality of safety-critical software. IEEE Trans. Softw. Eng. 39(6), 787\u2013805 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Carlsson, R., R\u00e9mond, M.: EUnit: a lightweight unit testing framework for Erlang. In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, pp. 1\u20131. ACM (2006)","DOI":"10.1145\/1159789.1159791"},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSE.2012.14","volume":"39","author":"G Fraser","year":"2013","unstructured":"Fraser, G., Arcuri, A.: Whole test suite generation. IEEE Trans. Softw. Eng. 39(2), 276\u2013291 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1007\/s10664-013-9299-z","volume":"20","author":"G Fraser","year":"2014","unstructured":"Fraser, G., Arcuri, A.: Achieving scalable mutation-based generation of whole test suites. Empirical Softw. Eng. 20(3), 783\u2013812 (2014)","journal-title":"Empirical Softw. Eng."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Fraser, G., Walkinshaw, N.: Behaviourally Adequate Software Testing. In: Proceedings of the Fifth International Conference on Software Testing, Verification and Validation (ICST) (2012)","DOI":"10.1109\/ICST.2012.110"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/TSE.2011.93","volume":"38","author":"G Fraser","year":"2012","unstructured":"Fraser, G., Zeller, A.: Mutation-driven generation of unit tests and oracles. IEEE Trans. Softw. Eng. 38(2), 278\u2013292 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TSE.1977.231145","volume":"3","author":"RG Hamlet","year":"1977","unstructured":"Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng. 3, 279\u2013290 (1977)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Langdon, W.B.: Strong higher order mutation-based test data generation. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, pp. 212\u2013222. ACM (2011)","DOI":"10.1145\/2025113.2025144"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Le, D., Alipour, M.A., Gopinath, R., Groce, A.: MuCheck: an extensible tool for mutation testing of Haskell programs. In: Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp. 429\u2013432. ACM (2014)","DOI":"10.1145\/2610384.2628052"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Li, H., Thompson, S.: A user-extensible refactoring tool for Erlang programs. Technical report, University of Kent (2011)","DOI":"10.1145\/2351676.2351727"},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1016\/j.scico.2012.02.005","volume":"78","author":"P Reales Mateo","year":"2013","unstructured":"Reales Mateo, P., Polo Usaola, M., Offutt, J.: Mutation at the multi-class and system levels. Sci. Comput. Program. 78(4), 364\u2013387 (2013)","journal-title":"Sci. Comput. Program."},{"key":"11_CR15","unstructured":"Ryder, B.G., Hailpern, B. (eds.) HOPL III: Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages. ACM (2007)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Taylor, R.G., Derrick, J.: Smother - an MC\/DC analysis tool for Erlang. In: Proceedings of the Fourteenth ACM SIGPLAN workshop on Erlang. ACM (2015, to appear)","DOI":"10.1145\/2804295.2804297"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25945-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,18]],"date-time":"2019-12-18T03:23:04Z","timestamp":1576639384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25945-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259444","9783319259451"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25945-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}