{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:50Z","timestamp":1750220510576,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T00:00:00Z","timestamp":1616371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ESIF","award":["CZ.02.1.01\/0.0\/0.0\/17_048\/0007267"],"award-info":[{"award-number":["CZ.02.1.01\/0.0\/0.0\/17_048\/0007267"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,3,22]]},"DOI":"10.1145\/3412841.3442002","type":"proceedings-article","created":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T05:10:24Z","timestamp":1619154624000},"page":"1281-1288","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A method for the automated generating of the code-coverage ensuring input test data based on the control flow analysis"],"prefix":"10.1145","author":[{"given":"Richard","family":"Lipka","sequence":"first","affiliation":[{"name":"University of West Bohemia, Plzen, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. 5 Test Data Generation Techniques You Need to Know. https:\/\/www.testbytes.net\/blog\/5-test-data-generation-techniques-to-know\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2020. Symja Library - Java Symbolic Math System for Android NCalc calculator. https:\/\/github.com\/axkr\/symja_android_library"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2771562"},{"key":"e_1_3_2_1_4_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2006","unstructured":"Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_2_1_5_1","volume-title":"Scala Cookbook: Recipes for Object-Oriented and Functional Programming","author":"Alexander Alvin","year":"2013","unstructured":"Alvin Alexander. 2013. Scala Cookbook: Recipes for Object-Oriented and Functional Programming (1st ed.). O\u00e2\u0102ŹReilly Media, Inc.","edition":"1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2013.03.004"},{"key":"e_1_3_2_1_8_1","volume-title":"Ahmed","author":"Bures Miroslav","year":"2020","unstructured":"Miroslav Bures, Pavel Herout, and Bestoun S. Ahmed. 2020. Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. arXiv:cs.SE\/2001.09342"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2018.03.002"},{"key":"e_1_3_2_1_10_1","unstructured":"Jon Edvardsson. 2002. A Survey on Automatic Test Data Generation. (2002). https:\/\/www.cc.gatech.edu\/~harrold\/6340\/cs6340_fall2009\/Readings\/test.data.genration.survey.pdf"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/262004.262005"},{"volume-title":"Lessons Learned in Software Testing","author":"Kaner Cem","key":"e_1_3_2_1_12_1","unstructured":"Cem Kaner, James Bach, and Bret Pettichord. 2001. Lessons Learned in Software Testing. John Wiley & Sons, Inc., USA."},{"key":"e_1_3_2_1_13_1","volume-title":"Unit Testing Principles, Practices, and Patterns","author":"Khorikov Vladimir","unstructured":"Vladimir Khorikov. 2020. Unit Testing Principles, Practices, and Patterns (1st ed.). Manning Publications.","edition":"1"},{"key":"e_1_3_2_1_14_1","unstructured":"Patrick Lam Eric Bodden Ond\u00c5Źej Lhot\u00c3\u0105k and Laurie Hendren. 2011. The Soot framework for Java program analysis: a retrospective. https:\/\/sable.github.io\/soot\/resources\/lblh11soot.pdf"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Richard Lipka and Tomas Potuzak. 2018. Automated generator for complex and realistic test data - a case study. In FedCSIS.","DOI":"10.15439\/2018F214"},{"key":"e_1_3_2_1_16_1","volume-title":"Foundations of Software Testing","author":"Mathur Aditya P.","unstructured":"Aditya P. Mathur. 2008. Foundations of Software Testing (1st ed.). Addison-Wesley Professional.","edition":"1"},{"key":"e_1_3_2_1_17_1","volume-title":"The Art of Software Testing","author":"Myers Glenford J.","unstructured":"Glenford J. Myers, Corey Sandler, and Tom Badgett. 2011. The Art of Software Testing (3rd ed.). Wiley Publishing.","edition":"3"},{"key":"e_1_3_2_1_18_1","volume-title":"Mary Jean Harrold, and Robert R. Peck","author":"Pargas Roy P.","year":"1999","unstructured":"Roy P. Pargas, Mary Jean Harrold, and Robert R. Peck. 1999. Test - Data Generation Using Genetic Algorithms. Journal of Software testing, Verification and Reliability (1999). https:\/\/www.cc.gatech.edu\/~harrold\/6340\/cs6340_fall2009\/Readings\/pga.pdf"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460299.1460314"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.1997.637166"},{"key":"e_1_3_2_1_21_1","unstructured":"D. A. Spuler A. S. M Sajeev David A. Spuler and A. S. M. Sajeev. 1994. Abstract Compiler Detection of Function Call Side Effects."},{"key":"e_1_3_2_1_22_1","volume-title":"Compiler construction","author":"Wirth Niklaus","year":"2005","unstructured":"Niklaus Wirth. 1996. Compiler construction. Addison-Wesley. http:\/\/www.ethoberon.ethz.ch\/WirthPubl\/CBEAll.pdf slightly revised November 2005 version of the book."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/591294"}],"event":{"name":"SAC '21: The 36th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Virtual Event Republic of Korea","acronym":"SAC '21"},"container-title":["Proceedings of the 36th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442002","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412841.3442002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:25Z","timestamp":1750195465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,22]]},"references-count":23,"alternative-id":["10.1145\/3412841.3442002","10.1145\/3412841"],"URL":"https:\/\/doi.org\/10.1145\/3412841.3442002","relation":{},"subject":[],"published":{"date-parts":[[2021,3,22]]},"assertion":[{"value":"2021-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}