{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:36Z","timestamp":1750221036921,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Science and Technology Commission of Shanghai Municipality","award":["18511103802"],"award-info":[{"award-number":["18511103802"]}]},{"name":"NSFC","award":["61502170"],"award-info":[{"award-number":["61502170"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,26]]},"DOI":"10.1145\/3236024.3275533","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"839-844","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["FACTS: automated black-box testing of FinTech systems"],"prefix":"10.1145","author":[{"given":"Qingshun","family":"Wang","sequence":"first","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lintao","family":"Gu","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minhui","family":"Xue","sequence":"additional","affiliation":[{"name":"Macquarie University, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lihua","family":"Xu","sequence":"additional","affiliation":[{"name":"East China Normal University, China \/ New York University Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenyu","family":"Niu","sequence":"additional","affiliation":[{"name":"CFETS Information Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liang","family":"Dou","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liang","family":"He","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017.  2017."},{"key":"e_1_3_2_1_2_1","unstructured":"Global Fintech Investment Growth Continues in 2016.  Global Fintech Investment Growth Continues in 2016."},{"volume-title":"\/\/www.accenture.com\/t20170411T170619Z__w__\/iden\/_acnmedia\/PDF- 15\/Accenture-Fintech-Report-London-Lab-News-Release.pdf","year":"2018","key":"e_1_3_2_1_3_1","unstructured":"https : \/\/www.accenture.com\/t20170411T170619Z__w__\/iden\/_acnmedia\/PDF- 15\/Accenture-Fintech-Report-London-Lab-News-Release.pdf . 2018 . JaCoCo Java Code Coverage Library . https:\/\/www.eclemma.org\/jacoco\/. https: \/\/www.accenture.com\/t20170411T170619Z__w__\/iden\/_acnmedia\/PDF- 15\/Accenture-Fintech-Report-London-Lab-News-Release.pdf. 2018. JaCoCo Java Code Coverage Library. https:\/\/www.eclemma.org\/jacoco\/."},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. OSDI. 209\u2013224","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs . In Proc. OSDI. 209\u2013224 . Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In Proc. OSDI. 209\u2013224."},{"key":"e_1_3_2_1_5_1","unstructured":"Cristian Cadar Vijay Ganesh Peter Pawlowski David Dill and Dawson Engler. 2006.  Cristian Cadar Vijay Ganesh Peter Pawlowski David Dill and Dawson Engler. 2006."},{"volume-title":"Proc. CCS. 322\u2013335","author":"EXE","key":"e_1_3_2_1_6_1","unstructured":"EXE : A System for Automatically Generating Inputs of Death Using Symbolic Execution . In Proc. CCS. 322\u2013335 . EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution. In Proc. CCS. 322\u2013335."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_8_1","volume-title":"Claire Le Goues, and Philip Koopman","author":"Hutchison Casidhe","year":"2018","unstructured":"Casidhe Hutchison , Milda Zizyte , Patrick E Lanigan , David Guttendorf , Michael Wagner , Claire Le Goues, and Philip Koopman . 2018 . Casidhe Hutchison, Milda Zizyte, Patrick E Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, and Philip Koopman. 2018."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183534"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc., CSDA. 103\u2013131","author":"Koopman Philip","year":"1998","unstructured":"Philip Koopman . 1998 . Toward a Scalable Method for Quantifying Aspects of Fault Tolerance, Software Assurance, and Computer Security . In Proc., CSDA. 103\u2013131 . Philip Koopman. 1998. Toward a Scalable Method for Quantifying Aspects of Fault Tolerance, Software Assurance, and Computer Security. In Proc., CSDA. 103\u2013131."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/829522.830926"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_13_1","unstructured":"Ossi Taipale Jussi Kasurinen Katja Karhu and Kari Smolander. 2011.  Ossi Taipale Jussi Kasurinen Katja Karhu and Kari Smolander. 2011."},{"key":"e_1_3_2_1_14_1","first-page":"2","volume":"2","author":"Tradeoff","year":"2011","unstructured":"Tradeoff between Automated and Manual Software Testing. International Journal of System Assurance Engineering and Management 2 , 2 ( 2011 ), 114\u2013125. Tradeoff between Automated and Manual Software Testing. International Journal of System Assurance Engineering and Management 2, 2 (2011), 114\u2013125.","journal-title":"Automated and Manual Software Testing. International Journal of System Assurance Engineering and Management"},{"key":"e_1_3_2_1_15_1","unstructured":"Tao Xie Nikolai Tillmann Jonathan de Halleux and Wolfram Schulte. 2009.  Tao Xie Nikolai Tillmann Jonathan de Halleux and Wolfram Schulte. 2009."}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18"},"container-title":["Proceedings of the 2018 26th 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\/3236024.3275533","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3275533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:41Z","timestamp":1750207421000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3275533"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":15,"alternative-id":["10.1145\/3236024.3275533","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3275533","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}