{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:09:07Z","timestamp":1767262147100,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T00:00:00Z","timestamp":1604793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,8]]},"DOI":"10.1145\/3368089.3418538","type":"proceedings-article","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T21:08:44Z","timestamp":1605042524000},"page":"1678-1681","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Machine learning based test data generation for safety-critical software"],"prefix":"10.1145","author":[{"given":"J\u00e1n","family":"\u010cegi\u0148","sequence":"first","affiliation":[{"name":"Kempelen Institute of Intelligent Technologies, Slovakia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,8]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290353"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"volume-title":"2011 26th IEEE\/ACM Int. Conf. on Automated Software Engineering (ASE 2011 ). 33-42","author":"Anand S.","key":"e_1_3_2_2_3_1","unstructured":"S. Anand and M. J. Harrold . 2011. Heap cloning: Enabling dynamic symbolic execution of java programs . In 2011 26th IEEE\/ACM Int. Conf. on Automated Software Engineering (ASE 2011 ). 33-42 . S. Anand and M. J. Harrold. 2011. Heap cloning: Enabling dynamic symbolic execution of java programs. In 2011 26th IEEE\/ACM Int. Conf. on Automated Software Engineering (ASE 2011 ). 33-42."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570123"},{"key":"e_1_3_2_2_5_1","volume-title":"Engler","author":"Boonstoppel Peter","year":"2008","unstructured":"Peter Boonstoppel , Cristian Cadar , and Dawson R . Engler . 2008 . RWset: Attacking Path Explosion in Constraint-Based Test Generation. In TACAS. 351-366. Peter Boonstoppel, Cristian Cadar, and Dawson R. Engler. 2008. RWset: Attacking Path Explosion in Constraint-Based Test Generation. In TACAS. 351-366."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092715"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW50294.2020.00063"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","key":"e_1_3_2_2_8_1","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An Eficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 337-340. Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Eficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337-340."},{"volume-title":"2015 Int. Symposium on Innovations in Intelligent SysTems and Applications (INISTA). 1-8.","author":"El-Serafy A.","key":"e_1_3_2_2_9_1","unstructured":"A. El-Serafy , G. El-Sayed , C. Salama , and A. Wahba . 2015. Enhanced Genetic Algorithm for MC\/DC test data generation . In 2015 Int. Symposium on Innovations in Intelligent SysTems and Applications (INISTA). 1-8. A. El-Serafy, G. El-Sayed, C. Salama, and A. Wahba. 2015. Enhanced Genetic Algorithm for MC\/DC test data generation. In 2015 Int. Symposium on Innovations in Intelligent SysTems and Applications (INISTA). 1-8."},{"key":"e_1_3_2_2_10_1","first-page":"519","volume-title":"Proc. of the 19th Int. Conf. on Computer Aided Verification","author":"Ganesh Vijay","unstructured":"Vijay Ganesh and David L. Dill . 2007. A Decision Procedure for Bit-Vectors and Arrays . In Proc. of the 19th Int. Conf. on Computer Aided Verification ( Berlin, Germany). Springer-Verlag, Berlin, Heidelberg , 519 - 531 . Vijay Ganesh and David L. Dill. 2007. A Decision Procedure for Bit-Vectors and Arrays. In Proc. of the 19th Int. Conf. on Computer Aided Verification (Berlin, Germany). Springer-Verlag, Berlin, Heidelberg, 519-531."},{"volume-title":"2018 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE). 19-24","author":"Grano G.","key":"e_1_3_2_2_11_1","unstructured":"G. Grano , T. V. Titov , S. Panichella , and H. C. Gall . 2018. How high will it be? Using machine learning models to predict branch coverage in automated testing . In 2018 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE). 19-24 . G. Grano, T. V. Titov, S. Panichella, and H. C. Gall. 2018. How high will it be? Using machine learning models to predict branch coverage in automated testing. In 2018 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE). 19-24."},{"key":"e_1_3_2_2_12_1","first-page":"212","volume-title":"Proc. of the 19th ACM SIGSOFT Symposium and the 13th European Conf. on Foundations of Software Engineering","author":"Harman Mark","unstructured":"Mark Harman , Yue Jia , and William B. Langdon . 2011. Strong Higher Order Mutation-Based Test Data Generation . In Proc. of the 19th ACM SIGSOFT Symposium and the 13th European Conf. on Foundations of Software Engineering ( Szeged, Hungary). Association for Computing Machinery, New York, NY, USA , 212 - 222 . Mark Harman, Yue Jia, and William B. Langdon. 2011. Strong Higher Order Mutation-Based Test Data Generation. In Proc. of the 19th ACM SIGSOFT Symposium and the 13th European Conf. on Foundations of Software Engineering (Szeged, Hungary). Association for Computing Machinery, New York, NY, USA, 212-222."},{"key":"e_1_3_2_2_13_1","unstructured":"Mark Harman Afshin Mansouri and Yuanyuan Zhang. 2009. Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. (05 2009 ).  Mark Harman Afshin Mansouri and Yuanyuan Zhang. 2009. Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. (05 2009 )."},{"key":"e_1_3_2_2_14_1","volume-title":"2016","author":"IEC","year":"2016","unstructured":"IEC 61508-3 : 2016 2016 . Functional safety of electrical\/electronic\/programmable electronic safety-related systems-Part 3: Software requirements. Standard. International Electrotechnical Commission, Geneva, CH. IEC 61508-3 : 2016 2016. Functional safety of electrical\/electronic\/programmable electronic safety-related systems-Part 3: Software requirements. Standard. International Electrotechnical Commission, Geneva, CH."},{"volume-title":"2008 23rd IEEE\/ACM Int. Conf. on Automated Software Engineering. 297-306","author":"Inkumsah K.","key":"e_1_3_2_2_15_1","unstructured":"K. Inkumsah and T. Xie . 2008. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution . In 2008 23rd IEEE\/ACM Int. Conf. on Automated Software Engineering. 297-306 . K. Inkumsah and T. Xie. 2008. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. In 2008 23rd IEEE\/ACM Int. Conf. on Automated Software Engineering. 297-306."},{"key":"e_1_3_2_2_16_1","first-page":"540","volume-title":"Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search. In 2015 IEEE\/ACM 37th IEEE Int. Conf. on Software Engineering","volume":"1","author":"Jia Y.","unstructured":"Y. Jia , M. B. Cohen , M. Harman , and J. Petke . 2015 . Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search. In 2015 IEEE\/ACM 37th IEEE Int. Conf. on Software Engineering , Vol. 1 . 540 - 550 . Y. Jia, M. B. Cohen, M. Harman, and J. Petke. 2015. Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search. In 2015 IEEE\/ACM 37th IEEE Int. Conf. on Software Engineering, Vol. 1. 540-550."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194718.3194720"},{"volume-title":"2019 12th IEEE Conf. on Software Testing, Validation and Verification (ICST). 136-147","author":"Koo J.","key":"e_1_3_2_2_18_1","unstructured":"J. Koo , C. Saumya , M. Kulkarni , and S. Bagchi . 2019. PySE: Automatic Worst-Case Test Generation by Reinforcement Learning . In 2019 12th IEEE Conf. on Software Testing, Validation and Verification (ICST). 136-147 . J. Koo, C. Saumya, M. Kulkarni, and S. Bagchi. 2019. PySE: Automatic Worst-Case Test Generation by Reinforcement Learning. In 2019 12th IEEE Conf. on Software Testing, Validation and Verification (ICST). 136-147."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389435"},{"key":"e_1_3_2_2_20_1","volume-title":"A Deep Learning based Approach to Automated Android App Testing. arXiv","author":"Li Yuanchun","year":"1901","unstructured":"Yuanchun Li , Ziyue Yang , Yao Guo , and Xiangqun Chen . 2019. A Deep Learning based Approach to Automated Android App Testing. arXiv : 1901 . 02633 [cs.SE] Yuanchun Li, Ziyue Yang, Yao Guo, and Xiangqun Chen. 2019. A Deep Learning based Approach to Automated Android App Testing. arXiv: 1901. 02633 [cs.SE]"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/3015812.3016002"},{"key":"e_1_3_2_2_22_1","volume-title":"The Art of Unit Testing: With Examples in.Net","author":"Osherove Roy","unstructured":"Roy Osherove . 2009. The Art of Unit Testing: With Examples in.Net ( 1 st ed.). Manning Publications Co. , USA. Roy Osherove. 2009. The Art of Unit Testing: With Examples in.Net (1st ed.). Manning Publications Co., USA.","edition":"1"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.11.045"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"crossref","unstructured":"Ciprian Paduraru and Marius-Constantin Melemciuc. 2018. An Automatic Test Data Generation Tool using Machine Learning. 472-481.  Ciprian Paduraru and Marius-Constantin Melemciuc. 2018. An Automatic Test Data Generation Tool using Machine Learning. 472-481.","DOI":"10.5220\/0006836605060515"},{"key":"e_1_3_2_2_25_1","unstructured":"Dionny Santiago. 2018. A Model-Based AI-Driven Test Generation System.  Dionny Santiago. 2018. A Model-Based AI-Driven Test Generation System."},{"key":"e_1_3_2_2_26_1","volume-title":"DART: Directed Automated Random Testing. In Hardware and Software: Verification and Testing","author":"Sen Koushik","year":"2011","unstructured":"Koushik Sen . 2011 . DART: Directed Automated Random Testing. In Hardware and Software: Verification and Testing , Kedar Namjoshi, Andreas Zeller, and Avi Ziv (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 4-4. Koushik Sen. 2011. DART: Directed Automated Random Testing. In Hardware and Software: Verification and Testing, Kedar Namjoshi, Andreas Zeller, and Avi Ziv (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 4-4."},{"volume-title":"Automated CoverageDriven Test Data Generation Using Dynamic Symbolic Execution. In 2014 Eighth Int. Conf. on Software Security and Reliability (SERE). 98-107","author":"Su T.","key":"e_1_3_2_2_27_1","unstructured":"T. Su , G. Pu , B. Fang , J. He , J. Yan , S. Jiang , and J. Zhao . 2014 . Automated CoverageDriven Test Data Generation Using Dynamic Symbolic Execution. In 2014 Eighth Int. Conf. on Software Security and Reliability (SERE). 98-107 . T. Su, G. Pu, B. Fang, J. He, J. Yan, S. Jiang, and J. Zhao. 2014. Automated CoverageDriven Test Data Generation Using Dynamic Symbolic Execution. In 2014 Eighth Int. Conf. on Software Security and Reliability (SERE). 98-107."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"crossref","unstructured":"Javad Yousefi Yasser Sedaghat and Mohammadeza Rezaee. 2015. Masking Wrongsuccessor Control Flow Errors Employing Data Redundancy.  Javad Yousefi Yasser Sedaghat and Mohammadeza Rezaee. 2015. Masking Wrongsuccessor Control Flow Errors Employing Data Redundancy.","DOI":"10.1109\/ICCKE.2015.7365827"}],"event":{"name":"ESEC\/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Virtual Event USA","acronym":"ESEC\/FSE '20"},"container-title":["Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3418538","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3418538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:04Z","timestamp":1750197724000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3418538"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,8]]},"references-count":28,"alternative-id":["10.1145\/3368089.3418538","10.1145\/3368089"],"URL":"https:\/\/doi.org\/10.1145\/3368089.3418538","relation":{},"subject":[],"published":{"date-parts":[[2020,11,8]]},"assertion":[{"value":"2020-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}