{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T08:29:42Z","timestamp":1765268982126,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031702440"},{"type":"electronic","value":"9783031702457"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-70245-7_11","type":"book-chapter","created":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T20:18:02Z","timestamp":1725999482000},"page":"150-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Improving Model-Based Testing Through Interactive Validation, Evaluation and Reconstruction of Test Cases"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7809-536X","authenticated-orcid":false,"given":"Oleksandr","family":"Kolchyn","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9462-599X","authenticated-orcid":false,"given":"Stepan","family":"Potiyenko","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"Kolchin, A., Potiyenko, S., Weigert, T. Challenges for automated, model-based test scenario generation. In: Dama\u0161evi\u010dius, R., Vasiljevien\u0117, G. (eds.) Information and Software Technologies, ICIST 2019. CCIS, vol. 1078, pp. 182\u2013194. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30275-7_15","DOI":"10.1007\/978-3-030-30275-7_15"},{"key":"11_CR2","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-031-07727-2_17","volume-title":"IFM 2022","author":"A Kolchin","year":"2022","unstructured":"Kolchin, A., Potiyenko, S.: Extending data flow coverage to test constraint refinements. In: ter Beek, M.H., Monahan, R. (eds.) IFM 2022. LNCS, vol. 13274, pp. 313\u2013321. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07727-2_17"},{"key":"11_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-69149-5_18","volume-title":"VSTTE 2005","author":"J Rushby","year":"2008","unstructured":"Rushby, J.: Automated test generation and verified software. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 161\u2013172. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69149-5_18"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/bs.adcom.2017.06.002","volume":"107","author":"R Dssouli","year":"2017","unstructured":"Dssouli, R., et al.: Testing the control-flow, data-flow, and time aspects of communication systems: a survey. Adv. Comput. 107, 95\u2013155 (2017)","journal-title":"Adv. Comput."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Inozemtseva, L., Holmes, R.: Coverage is not strongly correlated with test suite effectiveness. In: Proceedings of the 36th International Conference on Software Engineering, pp. 435\u2013445 (2014)","DOI":"10.1145\/2568225.2568271"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1109\/TSE.2015.2421011","volume":"41","author":"G Gay","year":"2015","unstructured":"Gay, G., Staats, M., Whalen, M., Heimdahl, M.: The risks of coverage-directed test case generation. IEEE Trans. Softw. Eng. 41, 803\u2013819 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR7","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-642-28872-2_28","volume-title":"FASE 2012","author":"M Staats","year":"2012","unstructured":"Staats, M., Gay, G., Whalen, M., Heimdahl, M.: On the danger of coverage directed test case generation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 409\u2013424. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28872-2_28"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Palomba, F., et al.: Automatic test case generation: what if test code quality matters? In: Proceedings of the 25th International Symposium on Software Testing and Analysis, pp. 130\u2013141 (2016)","DOI":"10.1145\/2931037.2931057"},{"issue":"7","key":"11_CR9","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1109\/TSE.2018.2869146","volume":"46","author":"Y Meng","year":"2018","unstructured":"Meng, Y., Gay, G., Whalen, M.: Ensuring the observability of structural test obligations. IEEE Trans. Softw. Eng. 46(7), 748\u2013772 (2018)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"11","key":"11_CR10","doi-asserted-by":"publisher","first-page":"4553","DOI":"10.1109\/TSE.2021.3121253","volume":"48","author":"F P\u00e9rez","year":"2022","unstructured":"P\u00e9rez, F., Font, J., Arcega, L., Cetina, C.: Empowering the human as the fitness function in search-based model-driven engineering. IEEE Trans. Softw. Eng. 48(11), 4553\u20134568 (2022)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2768829","volume":"25","author":"M Ceccato","year":"2015","unstructured":"Ceccato, M., et al.: Do automatically generated test cases make debugging easier? An experimental assessment of debugging effectiveness and efficiency. ACM Trans. Softw. Eng. Methodol. 25(1), 1\u201338 (2015). https:\/\/doi.org\/10.1145\/2768829","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"11_CR12","unstructured":"Lucr\u00e9dio, D., Vincenzi, A., Almeida, E., Ahmed, I.: Test case quality: an empirical study on belief and evidence. arXiv:2307.06410 (2023)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-030-80515-9","volume-title":"SSA-Based Compiler Design","author":"F Rastello","year":"2022","unstructured":"Rastello, F., Tichadou, F.: SSA-Based Compiler Design, p. 382. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-80515-9"},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/s10559-010-9235-9","volume":"46","author":"AV Kolchin","year":"2010","unstructured":"Kolchin, A.V.: An automatic method for the dynamic construction of abstractions of states of a formal model. Cybern. Syst. Anal. 46(4), 583\u2013601 (2010). https:\/\/doi.org\/10.1007\/s10559-010-9235-9","journal-title":"Cybern. Syst. Anal."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Winkler, D., Urbanke, P., Ramler, R.: What do we know about readability of test code? - A systematic mapping study. In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Honolulu, HI, USA, pp. 1167\u20131174 (2022)","DOI":"10.1109\/SANER53432.2022.00135"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Kolchin, A.: Interactive method for cumulative analysis of software formal models behavior. In: Proceeding of the 11th International Conference on Programming UkrPROG 2018, vol. 2139, pp. 115\u2013123. CEUR-WS (2018)","DOI":"10.15407\/pp2018.02.115"},{"key":"11_CR17","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-031-33163-3_5","volume-title":"ABZ 2023","author":"F Vu","year":"2023","unstructured":"Vu, F., Leuschel, M.: Validation of formal models by interactive simulation. In: Gl\u00e4sser, U., Creissac Campos, J., M\u00e9ry, D., Palanque, P. (eds.) ABZ 2023. LNCS, vol. 14010, pp. 59\u201369. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33163-3_5"}],"container-title":["Communications in Computer and Information Science","Quality of Information and Communications Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-70245-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T20:19:44Z","timestamp":1725999584000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-70245-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031702440","9783031702457"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-70245-7_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QUATIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on the Quality of Information and Communications Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pisa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"quatic2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2024.quatic.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}