{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:06Z","timestamp":1750219806071,"version":"3.41.0"},"reference-count":4,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T00:00:00Z","timestamp":1673308800000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2023,1,10]]},"abstract":"<jats:p>We conduct a study about SPF's existing string support by run- ning tests on a version of SPF with the latest string support. Base on the results, we then analyze each string method and identify the major challenges in supporting them. We categorize string API functions by type of the challenge, propose several solutions to each of the challenges, and discuss the feasibility and disad- vantages of di erent approaches. We implement support in the case of three string methods according to the proposed solution, leaving other methods as future work.<\/jats:p>","DOI":"10.1145\/3573074.3573084","type":"journal-article","created":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T03:38:24Z","timestamp":1674013104000},"page":"37-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Wider Support for Java String Functions"],"prefix":"10.1145","volume":"48","author":[{"given":"Qiuchen","family":"Yan","sequence":"first","affiliation":[{"name":"University of Minnesota, Minneapolis, MN, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cyrille","family":"Artho","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Par\u00edzek","sequence":"additional","affiliation":[{"name":"Charles University, Prague, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,17]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"June","author":"Amadini Roberto","year":"2021","unstructured":"Roberto Amadini . A Survey on String Constraint Solving , June 2021 . arXiv:2002.02376 [cs]. Roberto Amadini. A Survey on String Constraint Solving, June 2021. arXiv:2002.02376 [cs]."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0122-2"},{"key":"e_1_2_1_3_1","volume-title":"ASE'10 - Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, 2: 179{180","author":"Corina","year":"2010","unstructured":"Corina S. Pasareanu and Neha Rungta. Symbolic PathFinder: Symbolic execution of Java bytecode . ASE'10 - Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, 2: 179{180 , 2010 . Corina S. Pasareanu and Neha Rungta. Symbolic PathFinder: Symbolic execution of Java bytecode. ASE'10 - Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, 2:179{180, 2010."},{"key":"e_1_2_1_4_1","unstructured":"Marlin Roberts. Z3str3 support in SPF. https:\/\/github.com\/marlinroberts21\/jpf-symbc\/blob\/ mjr\/dev_init_igen\/z3str3-integration.md.  Marlin Roberts. Z3str3 support in SPF. https:\/\/github.com\/marlinroberts21\/jpf-symbc\/blob\/ mjr\/dev_init_igen\/z3str3-integration.md."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3573074.3573084","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3573074.3573084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:45:37Z","timestamp":1750178737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3573074.3573084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,10]]},"references-count":4,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1,10]]}},"alternative-id":["10.1145\/3573074.3573084"],"URL":"https:\/\/doi.org\/10.1145\/3573074.3573084","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2023,1,10]]},"assertion":[{"value":"2023-01-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}