{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T10:40:27Z","timestamp":1774435227920,"version":"3.50.1"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s11219-020-09503-4","type":"journal-article","created":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T07:02:17Z","timestamp":1588316537000},"page":"1173-1186","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Test case generation based on mutations over user execution traces"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3431-8060","authenticated-orcid":false,"given":"Ana C. R.","family":"Paiva","sequence":"first","affiliation":[]},{"given":"Andr\u00e9","family":"Restivo","sequence":"additional","affiliation":[]},{"given":"S\u00e9rgio","family":"Almeida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,5,1]]},"reference":[{"key":"9503_CR1","doi-asserted-by":"crossref","unstructured":"Almeida, S., Paiva, A.C., & Restivo, A. (2019). Mutation-based web test case generation. In International Conference on the Quality of Information and Communications Technology (pp. 339\u2013346). Springer.","DOI":"10.1007\/978-3-030-29238-6_25"},{"key":"9503_CR2","doi-asserted-by":"crossref","unstructured":"Barbosa, A., Paiva, A.C., & Campos, J.C. (2011). Test case generation from mutated task models. In Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 175\u2013184). ACM.","DOI":"10.1145\/1996461.1996516"},{"key":"9503_CR3","doi-asserted-by":"publisher","unstructured":"Bertolino, A. (2007). Software testing research: achievements, challenges, dreams. In Future of software engineering, 2007. FOSE \u201907 (pp. 85\u2013103). https:\/\/doi.org\/10.1109\/FOSE.2007.25.","DOI":"10.1109\/FOSE.2007.25"},{"key":"9503_CR4","unstructured":"Ferreira, S.M.A. (2019). Mutation-based web test case generation. Master\u2019s thesis."},{"key":"9503_CR5","doi-asserted-by":"crossref","unstructured":"Garcia, J.E., & Paiva, A.C. (2018). Manage software requirements specification using web analytics data. In World Conference on Information Systems and Technologies (pp. 257\u2013266). Springer.","DOI":"10.1007\/978-3-319-77712-2_25"},{"issue":"5","key":"9503_CR6","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2010","unstructured":"Jia, Y., & Harman, M. (2010). An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering, 37(5), 649\u2013678.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9503_CR7","doi-asserted-by":"crossref","unstructured":"Koroglu, Y., & Sen, A. (2018). TCM: Test case mutation to improve crash detection in Android. In International Conference on Fundamental Approaches to Software Engineering (pp. 264\u2013280). Springer.","DOI":"10.1007\/978-3-319-89363-1_15"},{"key":"9503_CR8","doi-asserted-by":"crossref","unstructured":"Mahmood, R., Mirzaei, N., & Malek, S. (2014). Evodroid: Segmented evolutionary testing of android apps. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (pp. 599\u2013609). ACM.","DOI":"10.1145\/2635868.2635896"},{"key":"9503_CR9","doi-asserted-by":"crossref","unstructured":"Mao, K., Harman, M., & Jia, Y. (2016). Sapienz: Multi-objective automated testing for Android applications. In Proceedings of the 25th International Symposium on Software Testing and Analysis (pp. 94\u2013105). ACM.","DOI":"10.1145\/2931037.2931054"},{"issue":"3","key":"9503_CR10","doi-asserted-by":"publisher","first-page":"e1629","DOI":"10.1002\/stvr.1629","volume":"27","author":"RM Moreira","year":"2017","unstructured":"Moreira, R.M., Paiva, A.C., Nabuco, M., & Memon, A. (2017). Pattern-based GUI testing: bridging the gap between design and quality assurance. Software Testing, Verification and Reliability, 27(3), e1629.","journal-title":"Software Testing, Verification and Reliability"},{"issue":"4","key":"9503_CR11","doi-asserted-by":"publisher","first-page":"1553","DOI":"10.1007\/s11219-017-9387-1","volume":"26","author":"IC Morgado","year":"2018","unstructured":"Morgado, I.C., & Paiva, A.C. (2018). Mobile GUI testing. Software Quality Journal, 26(4), 1553\u20131570.","journal-title":"Software Quality Journal"},{"key":"9503_CR12","doi-asserted-by":"crossref","unstructured":"Nabuco, M., & Paiva, A.C. (2014). Model-based test case generation for web applications. In International Conference on Computational Science and its Applications (pp. 248\u2013262). Springer.","DOI":"10.1007\/978-3-319-09153-2_19"},{"issue":"3","key":"9503_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/52.136165","volume":"9","author":"RM Poston","year":"1992","unstructured":"Poston, R.M., & Sexton, M.P. (1992). Evaluating and selecting testing tools. IEEE Software, 9(3), 33\u201342. https:\/\/doi.org\/10.1109\/52.136165.","journal-title":"IEEE Software"},{"key":"9503_CR14","unstructured":"Siavashi, F., Iqbal, J., Truscan, D., & Vain, J. (2016). Testing web services with model-based mutation. In International Conference on Software Technologies (pp. 45\u201367). Springer."},{"key":"9503_CR15","doi-asserted-by":"crossref","unstructured":"Silva, P., Paiva, A.C., Restivo, A., & Garcia, J.E. (2018). Automatic test case generation from usage information. In 2018 11Th International Conference on the Quality of Information and Communications Technology (QUATIC) (pp. 268\u2013271). IEEE.","DOI":"10.1109\/QUATIC.2018.00047"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-020-09503-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11219-020-09503-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-020-09503-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T14:03:56Z","timestamp":1620050636000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11219-020-09503-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,1]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["9503"],"URL":"https:\/\/doi.org\/10.1007\/s11219-020-09503-4","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,1]]},"assertion":[{"value":"1 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}