{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T04:44:56Z","timestamp":1782794696675,"version":"3.54.5"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032304872","type":"print"},{"value":"9783032304889","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"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":[[2027]]},"DOI":"10.1007\/978-3-032-30488-9_23","type":"book-chapter","created":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T04:09:19Z","timestamp":1782792559000},"page":"368-380","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Constraint-Based Method for Detecting Gaps in Input Validation Test Suites"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7809-536X","authenticated-orcid":false,"given":"Oleksandr","family":"Kolchyn","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-7499-5895","authenticated-orcid":false,"given":"Daria","family":"Rudenko","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,1]]},"reference":[{"key":"23_CR1","unstructured":"Common Weakness Enumeration (CWE). https:\/\/cwe.mitre.org\/. Accessed March 2026"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"Hoboken","DOI":"10.1002\/9781394298976","volume-title":"Fundamentals of Software Testing","author":"B Hom\u00e8s","year":"2024","unstructured":"Hom\u00e8s, B.: Fundamentals of Software Testing, p. Hoboken. John (2024)"},{"issue":"2","key":"23_CR3","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1016\/j.infsof.2008.07.001","volume":"51","author":"H Liu","year":"2009","unstructured":"Liu, H., Tan, H.B.K.: Covering code behavior on input validation in functional testing. Inf. Softw. Technol. 51(2), 546\u2013553 (2009)","journal-title":"Inf. Softw. Technol."},{"issue":"4","key":"23_CR4","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/j.jss.2007.05.007","volume":"11","author":"JH Hayes","year":"2006","unstructured":"Hayes, J.H., Offutt, J.: Input validation analysis and testing. Empir. Softw. Eng. 11(4), 493\u2013522 (2006). https:\/\/doi.org\/10.1016\/j.jss.2007.05.007","journal-title":"Empir. Softw. Eng."},{"key":"23_CR5","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1109\/TSE.2015.2421011","DOI":"10.1109\/TSE.2015.2421011"},{"issue":"5","key":"23_CR6","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"7","author":"J Chilenski","year":"1994","unstructured":"Chilenski, J., Miller, S.: Applicability of modified condition\/decision coverage to software testing. Softw. Eng. J. 7(5), 193\u2013200 (1994)","journal-title":"Softw. Eng. J."},{"key":"23_CR7","unstructured":"Rapps S., Weyuker E.: Data flow analysis techniques for test data selection. In: Proceedings of International Conference of Software Engineering, pp. 272\u2013277 (1982)"},{"key":"23_CR8","doi-asserted-by":"publisher","unstructured":"Kolchin, A., Potiyenko, S.: Extending data flow coverage to test constraint refinements. In: ter Beek, M.H., Monahan, R. (eds.) Integrated Formal Methods, IFM 2022. LNCS, vol. 13274. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-07727-2_17","DOI":"10.1007\/978-3-031-07727-2_17"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Kolchyn, O., Rudenko, D.: Misguarded computations: a pattern of ineffective conditional protection. In: Deshmukh, J., Havelund, K., Pinto, A. (eds.) NASA Formal Methods. NFM 2026. Lecture Notes in Computer Science, vol. 16622. Springer, Cham (2026). https:\/\/doi.org\/10.1007\/978-3-032-28079-4_16","DOI":"10.1007\/978-3-032-28079-4_16"},{"key":"23_CR10","doi-asserted-by":"publisher","unstructured":"Bhatt D., et al.: Requirements-driven model checking and test generation for comprehensive verification. In: NASA Formal Methods Symposium, pp. 576\u2013596 (2022). https:\/\/doi.org\/10.1007\/978-3-031-06773-0_31","DOI":"10.1007\/978-3-031-06773-0_31"},{"issue":"7","key":"23_CR11","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Biere, A.: Bounded model checking. In: Handbook of Satisfiability, pp. 739\u2013764. IOS Press (2021)","DOI":"10.3233\/FAIA201002"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"111629","DOI":"10.1016\/j.jss.2023.111629","volume":"199","author":"E Kurian","year":"2023","unstructured":"Kurian, E., Briola, D., Braione, P., Denaro, G.: Automatically generating test cases for safety-critical software via symbolic execution. J. Syst. Softw. 199, 111629 (2023). https:\/\/doi.org\/10.1016\/j.jss.2023.111629","journal-title":"J. Syst. Softw."},{"key":"23_CR14","doi-asserted-by":"publisher","unstructured":"Trabish, D., Mattavelli, A., Rinetzky, N., Cadar, C.: Chopped symbolic execution. In: Proceedings of the 40th International Conference on Software Engineering, pp. 350\u2013360 (2018). https:\/\/doi.org\/10.1145\/3180155.3180251","DOI":"10.1145\/3180155.3180251"},{"key":"23_CR15","doi-asserted-by":"publisher","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.): Handbook of Model Checking, vol. 10, pp. 978\u2013983. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8","DOI":"10.1007\/978-3-319-10575-8"},{"key":"23_CR16","doi-asserted-by":"publisher","unstructured":"Clarke, E., et al.: Counterexample-guided abstraction refinement. In: Computer Aided Verification. LNCS, vol. 1855. Springer (2000). https:\/\/doi.org\/10.1007\/10722167_15","DOI":"10.1007\/10722167_15"},{"key":"23_CR17","unstructured":"European Union Agency for Railways: Braking curves. https:\/\/www.era.europa.eu\/sk\/node\/1831. Accessed March 2026"},{"key":"23_CR18","doi-asserted-by":"publisher","unstructured":"Friman, B.: An algorithm for braking curve calculations in ERTMS train protection systems. Adv. Train Control Syst. 65 (2010). https:\/\/doi.org\/10.2495\/CR060421","DOI":"10.2495\/CR060421"},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF00417425","volume":"2","author":"WG Bently","year":"1993","unstructured":"Bently, W.G., Miller, E.F.: Ct coverage\u2014initial results. Softw. Qual. J. 2, 29\u201347 (1993). https:\/\/doi.org\/10.1007\/BF00417425","journal-title":"Softw. Qual. J."},{"key":"23_CR20","doi-asserted-by":"publisher","unstructured":"Tran, H.K.V., Ali, N.B., Unterkalmsteiner, M., et al.: Quality attributes of test cases and test suites \u2013 importance & challenges from practitioners\u2019 perspectives. Softw. Qual J. 33, 9 (2025). https:\/\/doi.org\/10.1007\/s11219-024-09698-w","DOI":"10.1007\/s11219-024-09698-w"},{"key":"23_CR21","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s10009-014-0356-8","volume":"18","author":"W Huang","year":"2016","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing. Int. J. Softw. Tools Technol. Transfer 18, 265\u2013283 (2016). https:\/\/doi.org\/10.1007\/s10009-014-0356-8","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/s11219-023-09659-9","volume":"32","author":"X Guo","year":"2024","unstructured":"Guo, X., Okamura, H., Dohi, T.: Optimal test case generation for boundary value analysis. Softw. Qual. J. 32, 543\u2013566 (2024). https:\/\/doi.org\/10.1007\/s11219-023-09659-9","journal-title":"Softw. Qual. J."},{"key":"23_CR23","doi-asserted-by":"publisher","unstructured":"van den Bos, P., Tretmans, J.: Coverage-based testing with symbolic transition systems. In: Beyer, D., Keller, C. (eds.) Tests and Proofs. TAP 2019. Lecture Notes in Computer Science, vol. 11823. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-31157-5_5","DOI":"10.1007\/978-3-030-31157-5_5"},{"issue":"5","key":"23_CR24","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/3587156","volume":"32","author":"A Herrera","year":"2023","unstructured":"Herrera, A., Payer, M., Hosking, A.: DatAFLow: toward a data-flow-guided fuzzer. ACM Trans. Softw. Eng. Methodol. 32(5), 31 (2023). https:\/\/doi.org\/10.1145\/3587156","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"6","key":"23_CR25","first-page":"231","volume":"13","author":"AM Alashjee","year":"2019","unstructured":"Alashjee, A.M., Duraibi, S., Song, J.: Dynamic taint analysis tools: a review. Int. J. Comput. Sci. Secur. 13(6), 231\u2013244 (2019)","journal-title":"Int. J. Comput. Sci. Secur."},{"key":"23_CR26","unstructured":"Liu, H.: Automated recovery, maintenance and testing of input validation. Doctoral dissertation, Nanyang Technological University, 164p. (2009)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2026"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-30488-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T04:09:28Z","timestamp":1782792568000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-30488-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,1]]},"ISBN":["9783032304872","9783032304889"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-30488-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,1]]},"assertion":[{"value":"1 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Braga","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}