{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T19:39:10Z","timestamp":1782416350961,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100019491","name":"National Natural Science Foundation of China - State Grid Corporation Joint Fund for Smart Grid","doi-asserted-by":"publisher","award":["61872263"],"award-info":[{"award-number":["61872263"]}],"id":[{"id":"10.13039\/501100019491","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62002256"],"award-info":[{"award-number":["62002256"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510003.3510059","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"1133-1144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":50,"title":["History-driven test program synthesis for JVM testing"],"prefix":"10.1145","author":[{"given":"Yingquan","family":"Zhao","sequence":"first","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zan","family":"Wang","sequence":"additional","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Junjie","family":"Chen","sequence":"additional","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mengdi","family":"Liu","sequence":"additional","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mingyuan","family":"Wu","sequence":"additional","affiliation":[{"name":"Southern University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuqun","family":"Zhang","sequence":"additional","affiliation":[{"name":"Southern University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lingming","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Illinois"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. ASMTools. https:\/\/wiki.openjdk.java.net\/display\/CodeTools\/asmtools."},{"key":"e_1_3_2_1_2_1","unstructured":"2021. Bug-12552. https:\/\/github.com\/eclipse-openj9\/openj9\/issues\/12552."},{"key":"e_1_3_2_1_3_1","unstructured":"2021. Bug-12819. https:\/\/github.com\/eclipse-openj9\/openj9\/issues\/12819."},{"key":"e_1_3_2_1_4_1","unstructured":"2021. Gcov. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Gcov.html."},{"key":"e_1_3_2_1_5_1","unstructured":"2021. GIJ. https:\/\/web.archive.org\/web\/20070509055923\/http:\/\/gcc.gnu.org\/java."},{"key":"e_1_3_2_1_6_1","unstructured":"2021. Hotspot. http:\/\/openjdk.java.net."},{"key":"e_1_3_2_1_7_1","unstructured":"2021. JavaTailor. https:\/\/github.com\/JavaTailor\/CFSynthesis"},{"key":"e_1_3_2_1_8_1","unstructured":"2021. Lcov. http:\/\/ltp.sourceforge.net\/coverage\/lcov.php."},{"key":"e_1_3_2_1_9_1","unstructured":"2021. OpenJ9. https:\/\/www.eclipse.org\/openj9."},{"key":"e_1_3_2_1_10_1","unstructured":"2021. Zulu. https:\/\/www.azulsystems.com\/products\/core."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/367845.368073"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_13_1","volume-title":"Fuzzing: Challenges and Reflections","author":"B\u00f6hme Marcel","year":"2020","unstructured":"Marcel B\u00f6hme, Cristian Cadar, and Abhik Roychoudhury. 2020. Fuzzing: Challenges and Reflections. IEEE Software (2020)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(97)00017-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2014.10"},{"key":"e_1_3_2_1_16_1","volume-title":"Automated Conformance Testing of Java Virtual Machines. In Seventh International Conference on Complex, Intelligent, and Software Intensive Systems. 547--552","author":"Calvagna Andrea","year":"2013","unstructured":"Andrea Calvagna and Emiliano Tramontana. 2013. Automated Conformance Testing of Java Virtual Machines. In Seventh International Conference on Complex, Intelligent, and Software Intensive Systems. 547--552."},{"key":"e_1_3_2_1_17_1","volume-title":"Combinatorial Validation Testing of Java Card Byte Code Verifiers. In 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises. 347--352","author":"Calvagna Andrea","year":"2013","unstructured":"Andrea Calvagna and Emiliano Tramontana. 2013. Combinatorial Validation Testing of Java Card Byte Code Verifiers. In 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises. 347--352."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447545.3451177"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.70"},{"key":"e_1_3_2_1_20_1","volume-title":"Test Case Prioritization for Compilers: A Text-Vector Based Approach. In 2016 IEEE International Conference on Software Testing, Verification and Validation. 266--277","author":"Chen Junjie","year":"2016","unstructured":"Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, and Bing Xie. 2016. Test Case Prioritization for Compilers: A Text-Vector Based Approach. In 2016 IEEE International Conference on Software Testing, Verification and Validation. 266--277."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338957"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884878"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416570"},{"key":"e_1_3_2_1_24_1","volume-title":"A Survey of Compiler Testing. ACM Comput. Surv. 53, 1","author":"Chen Junjie","year":"2020","unstructured":"Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, and Lu Zhang. 2020. A Survey of Compiler Testing. ACM Comput. Surv. 53, 1 (2020), 4:1--4:36."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Junjie Chen and Chenyao Suo. 2022. Boosting Compiler Testing via Compiler Optimization Exploration. In TOSEM. to appear.","DOI":"10.1145\/3508362"},{"key":"e_1_3_2_1_26_1","volume-title":"History-Guided Configuration Diversification for Compiler Test-Program Generation. In 34th IEEE\/ACM International Conference on Automated Software Engineering. 305--316","author":"Chen Junjie","year":"2019","unstructured":"Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, and Lu Zhang. 2019. History-Guided Configuration Diversification for Compiler Test-Program Generation. In 34th IEEE\/ACM International Conference on Automated Software Engineering. 305--316."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2889771"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00110"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380436"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_32_1","volume-title":"NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis.","author":"Choi Jaeseung","year":"2021","unstructured":"Jaeseung Choi, Kangsu Kim, Daejin Lee, and Sang Kil Cha. 2021. NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis. (2021)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025011624925"},{"key":"e_1_3_2_1_34_1","volume-title":"Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon B\u00f6rger on the Occasion of His 60th Birthday","author":"Gervasi Vincenzo","unstructured":"Vincenzo Gervasi and Roozbeh Farahbod. 2009. JASMine: Accessing Java Code from CoreASM. In Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon B\u00f6rger on the Occasion of His 60th Birthday, Vol. 5115. 170--186."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647508.2647528"},{"key":"e_1_3_2_1_36_1","volume-title":"JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs. In 43rd IEEE\/ACM International Conference on Software Engineering. 1708--1718","author":"Hwang Sungjae","year":"2021","unstructured":"Sungjae Hwang, Sungho Lee, Jihoon Kim, and Sukyoung Ryu. 2021. JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs. In 43rd IEEE\/ACM International Conference on Software Engineering. 1708--1718."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. 65--76","author":"Lidbury Christopher","unstructured":"Christopher Lidbury, Andrei Lascu, Nathan Chong, and Alastair F. Donaldson. 2015. Many-core compiler fuzzing. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. 65--76."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2998415.2998416"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Qingchao Shen Haoyang Ma Junjie Chen Yongqiang Tian Shing-Chi Cheung and Xiang Chen. 2021. A comprehensive study of deep learning compiler bugs. In 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering Diomidis Spinellis Georgios Gousios Marsha Chechik and Massimiliano Di Penta (Eds.). 968--980.","DOI":"10.1145\/3468264.3468591"},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the Second Conference on Domain-Specific Languages. 1--13","author":"Sirer Emin G\u00fcn","unstructured":"Emin G\u00fcn Sirer and Brian N. Bershad. 1999. Using production grammars in software testing. In Proceedings of the Second Conference on Domain-Specific Languages. 1--13."},{"key":"e_1_3_2_1_45_1","volume-title":"Smith and Ravi Nair","author":"James","year":"2005","unstructured":"James E. Smith and Ravi Nair. 2005. Virtual machines - versatile platforms for systems and processes. Elsevier."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984038"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/781995.782008"},{"key":"e_1_3_2_1_48_1","volume-title":"Towards Generating Thread-Safe Classes Automatically. In 35th IEEE\/ACM International Conference on Automated Software Engineering. 943--955","author":"Wang Haichi","year":"2020","unstructured":"Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, and Yuan-Fang Li. 2020. Towards Generating Thread-Safe Classes Automatically. In 35th IEEE\/ACM International Conference on Automated Software Engineering. 943--955."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409761"},{"key":"e_1_3_2_1_50_1","volume-title":"MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. In 34th IEEE\/ACM International Conference on Automated Software Engineering. 722--734","author":"Wang Zan","year":"2019","unstructured":"Zan Wang, Yingquan Zhao, Shuang Liu, Jun Sun, Xiang Chen, and Huarui Lin. 2019. MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. In 34th IEEE\/ACM International Conference on Automated Software Engineering. 722--734."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510041"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468612"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_54_1","volume-title":"Random Program Generator for Java JIT Compiler Test System. In 3rd International Conference on Quality Software. 20","author":"Yoshikawa Takahide","year":"2003","unstructured":"Takahide Yoshikawa, Kouya Shimura, and Toshihiro Ozawa. 2003. Random Program Generator for Java JIT Compiler Test System. In 3rd International Conference on Quality Software. 20."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238187"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510059","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:04Z","timestamp":1750191124000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":55,"alternative-id":["10.1145\/3510003.3510059","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3510059","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}