{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:19:01Z","timestamp":1755998341572},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030302740"},{"type":"electronic","value":"9783030302757"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-30275-7_15","type":"book-chapter","created":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T23:20:05Z","timestamp":1570058405000},"page":"182-194","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Challenges for Automated, Model-Based Test Scenario Generation"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Kolchin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stepan","family":"Potiyenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Weigert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,3]]},"reference":[{"key":"15_CR1","first-page":"456","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2010","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach, p. 456. Morgan-Kaufmann, San Francisco (2010)"},{"key":"15_CR2","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":"15_CR3","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."},{"issue":"3","key":"15_CR4","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/s10664-013-9288-2","volume":"20","author":"G Fraser","year":"2015","unstructured":"Fraser, G., Arcuri, A.: 1600 faults in 100 projects: automatically finding faults while achieving high coverage with Evosuite. Empir. Softw. Eng. 20(3), 611\u2013639 (2015)","journal-title":"Empir. Softw. Eng."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Cseppento, L., Micskei, Z.: Evaluating symbolic execution-based test tools. In: IEEE Conference on Software Testing, Verification and Validation, pp. 1\u201310 (2015). http:\/\/doi.org\/10.1109\/ICST.2015.7102587","DOI":"10.1109\/ICST.2015.7102587"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J Chilenski","year":"1994","unstructured":"Chilenski, J., Millner, S.: Applicability of modified condition\/decision coverage to software testing. Softw. Eng. J. 9, 193\u2013200 (1994)","journal-title":"Softw. Eng. J."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Inozemtseva, L., Holmes, R.: Coverage is not strongly correlated with test suite effectiveness. In: Proceedings of ACM ICSE 2014, pp. 435\u2013445 (2015). http:\/\/doi.org\/10.1145\/2568225.2568271","DOI":"10.1145\/2568225.2568271"},{"key":"15_CR8","unstructured":"Heimdahl, M., Devaraj, G.: Specification test coverage adequacy criteria\u2009=\u2009specification test generation inadequacy criteria? In: IEEE Computer Society, HASE, pp. 178\u2013186 (2004)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-69149-5_18","volume-title":"Verified Software: Theories, Tools, Experiments","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":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-642-28872-2_28","volume-title":"Fundamental Approaches to Software Engineering","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":"15_CR11","doi-asserted-by":"crossref","unstructured":"Kolchin, A.: Interactive method for cumulative analysis of software formal models behavior. In: Proceedings of the 11th International Conference of Programming UkrPROG 2018, vol. 2139\u20132018. pp. 115\u2013123. CEUR-WS (2018)","DOI":"10.15407\/pp2018.02.115"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Chekam, T., et. al.: An empirical study on mutation, statement and branch coverage fault revelation that avoids unreliable clean program assumption. In: IEEE-ACM 39th International Conference on Software Engineering, 12 p. (2017). http:\/\/doi.org\/10.1109\/ICSE.2017.61","DOI":"10.1109\/ICSE.2017.61"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"1567","DOI":"10.18517\/ijaseit.7.4-2.3409","volume":"7","author":"A Mustafa","year":"2017","unstructured":"Mustafa, A., et al.: Comparative evaluation of the state-of-art requirements-based test case generation approaches. Int. J. Adv. Sci. Eng. Inf. Technol. 7, 1567\u20131573 (2017)","journal-title":"Int. J. Adv. Sci. Eng. Inf. Technol."},{"issue":"1","key":"15_CR14","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."},{"issue":"1","key":"15_CR15","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1002\/stvr.1574","volume":"26","author":"Alex Groce","year":"2015","unstructured":"Groce, A., et al.: Cause reduction: delta debugging, even without bugs. Softw. Test. Verif. Reliab., 1\u201330 (2015). http:\/\/doi.org\/10.1002\/stvr.1574","journal-title":"Software Testing, Verification and Reliability"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Vivanti, M., et al.: Search-based data-flow test generation. In: IEEE International Symposium on Software Reliability Engineering, vol. 10 (2013). http:\/\/doi.org\/10.1109\/ISSRE.2013.6698890","DOI":"10.1109\/ISSRE.2013.6698890"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Palomba, F., et al.: Automatic test case generation: what if test code quality matters? In: Proceedings of International Symposium on Software Testing and Analysis, pp. 130\u2013141 (2016)","DOI":"10.1145\/2931037.2931057"},{"issue":"2","key":"15_CR18","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar, C., Sen, K.: Symbolic execution for software testing: three decades later. Commun. ACM 56(2), 82\u201390 (2013). https:\/\/doi.org\/10.1145\/2408776.2408795","journal-title":"Commun. ACM"},{"issue":"4","key":"15_CR19","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":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/11430230_3","volume-title":"Testing of Communicating Systems","author":"HS Hong","year":"2005","unstructured":"Hong, H.S., Ural, H.: Dependence testing: extending data flow testing with control dependence. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 23\u201339. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11430230_3"},{"key":"15_CR21","unstructured":"Rayadurgam, S., Heimdahl, M.: Coverage based test-case generation using model checkers. In: Proceedings of IEEE International Conference on the Engineering of Computer Based Systems, pp. 83\u201391 (2001)"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Kolchin, A.: A novel algorithm for attacking path explosion in model-based test generation for data flow coverage. In: Proceedings of IEEE 1st International Conference on System Analysis and Intelligent Computing, SAIC 2018, 5 p. (2018). http:\/\/doi.org\/10.1109\/SAIC.2018.8516824","DOI":"10.1109\/SAIC.2018.8516824"},{"key":"15_CR23","unstructured":"Rapps, S., Weyuker, E.: Data flow analysis techniques for test data selection. In: Proceedings of International Conference of Software Engineering, pp. 272\u2013278 (1982)"},{"issue":"8","key":"15_CR24","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1109\/32.57623","volume":"16","author":"LJ Morell","year":"1990","unstructured":"Morell, L.J.: A theory of fault-based testing. IEEE Trans. Softw. Eng. 16(8), 844\u2013857 (1990). https:\/\/doi.org\/10.1109\/32.57623","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR25","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-319-71734-0_5","volume-title":"Tools and Methods of Program Analysis","author":"V Kotlyarov","year":"2018","unstructured":"Kotlyarov, V., Drobintsev, P., Voinov, N., Selin, I., Tolstoles, A.: Technology and tools for developing industrial software test suites based on formal models and implementing scalable testing process on supercomputer. In: Itsykson, V., Scedrov, A., Zakharov, V. (eds.) TMPA 2017. CCIS, vol. 779, pp. 51\u201363. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-71734-0_5"},{"issue":"1","key":"15_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1108768.1108802","volume":"31","author":"S Tallam","year":"2006","unstructured":"Tallam, S., Gupta, N.: A concept analysis inspired greedy algorithm for test suite minimization. ACM Softw. Eng. Notes 31(1), 35\u201342 (2006). https:\/\/doi.org\/10.1145\/1108768.1108802","journal-title":"ACM Softw. Eng. Notes"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Lei, Y., Andrews, J.: Minimization of randomized unit test cases. In: International Symposium on Software Reliability Engineering, pp. 267\u2013276 (2005). http:\/\/doi.org\/10.1109\/ISSRE.2005.28","DOI":"10.1109\/ISSRE.2005.28"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Namin, A., Andrews, J.: The influence of size and coverage on test suite effectiveness. In: Proceedings of International Symposium on Software Testing, pp. 57\u201368 (2009). http:\/\/doi.org\/10.1145\/1572272.1572280","DOI":"10.1145\/1572272.1572280"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Heimdahl, M., et al.: Test-suite reduction for model based tests: effects on test quality and implications for testing. In: ASE Conference, pp. 176\u2013185 (2004). http:\/\/doi.org\/10.1109\/ASE.2004.1342735","DOI":"10.1109\/ASE.2004.1342735"},{"issue":"7","key":"15_CR30","doi-asserted-by":"publisher","first-page":"433","DOI":"10.3103\/S0146411613070213","volume":"47","author":"A. Kolchin","year":"2013","unstructured":"Kolchin, A., et al.: An approach to creating concretized test scenarios within test automation technology for industrial software projects. Autom. Control Comput. Sci., pp. 433\u2013442 (2013). http:\/\/doi.org\/10.3103\/S0146411613070213","journal-title":"Automatic Control and Computer Sciences"},{"key":"15_CR31","unstructured":"Myers, G.J.: The Art Of Software Testing, 254 p. Wiley, New York (2004)"},{"issue":"3","key":"15_CR32","first-page":"92","volume":"8","author":"PM Herman","year":"1976","unstructured":"Herman, P.M.: A data flow analysis approach to program testing. Aust. Comput. J. 8(3), 92\u201397 (1976)","journal-title":"Aust. Comput. J."},{"issue":"1","key":"15_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3020266","volume":"50","author":"Ting Su","year":"2017","unstructured":"Su, T. et. al. A survey on data-flow testing. ACM Comput. Surv. 50, 35 p. (2017)","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"15_CR34","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s10703-011-0132-2","volume":"40","author":"I Beer","year":"2012","unstructured":"Beer, I., et al.: Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1), 20\u201340 (2012). https:\/\/doi.org\/10.1007\/s10703-011-0132-2","journal-title":"Formal Methods Syst. Des."},{"key":"15_CR35","first-page":"699","volume-title":"Advances in Intelligent Systems and Computing","author":"Neetu Jain","year":"2018","unstructured":"Neetu, J., Rabins, P.: Automated test data generation applying heuristic approaches\u2014a survey. Softw. Eng., pp. 699\u2013708 (2019). http:\/\/doi.org\/10.1007\/978-981-10-8848-3_68"},{"key":"15_CR36","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"E Barr","year":"2015","unstructured":"Barr, E., et al.: The oracle problem in software testing: a survey. IEEE Trans. Softw. Eng. 41, 507\u2013525 (2015). https:\/\/doi.org\/10.1109\/TSE.2014.2372785","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Li, N., Offut J.: An experimental comparison of four unit test criteria: mutation, edge-pair, all-uses and prime path coverage. In: IEEE International Conference on Software Testing, Verification and Validation, pp. 220\u2013229 (2009). http:\/\/doi.org\/10.1109\/ICSTW.2009.30","DOI":"10.1109\/ICSTW.2009.30"}],"container-title":["Communications in Computer and Information Science","Information and Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30275-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,8]],"date-time":"2019-12-08T16:09:35Z","timestamp":1575821375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30275-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030302740","9783030302757"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30275-7_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICIST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information and Software Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vilnius","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lithuania","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icist2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icist.ktu.edu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"121","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}