{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T20:00:42Z","timestamp":1775246442895,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,16]],"date-time":"2018-09-16T00:00:00Z","timestamp":1537056000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9,16]]},"DOI":"10.1145\/3275219.3275229","type":"proceedings-article","created":{"date-parts":[[2018,10,9]],"date-time":"2018-10-09T08:14:26Z","timestamp":1539072866000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["A Documentation-based Constraint Generation Method for Java APIs"],"prefix":"10.1145","author":[{"given":"Zejun","family":"Zhang","sequence":"first","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaobo","family":"Wu","sequence":"additional","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renhe","family":"Jiang","sequence":"additional","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minxue","family":"Pan","sequence":"additional","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tian","family":"Zhang","sequence":"additional","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018. Jacoco. (2018). https:\/\/www.eclemma.org\/jacoco\/. 2018. Jacoco. (2018). https:\/\/www.eclemma.org\/jacoco\/."},{"key":"e_1_3_2_1_2_1","unstructured":"2018. Java SE8 doc. (2018). https:\/\/docs.oracle.com\/javase\/8\/docs\/api\/ 2018. Java SE8 doc. (2018). https:\/\/docs.oracle.com\/javase\/8\/docs\/api\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2018. Javadoc Comments. (2018). https:\/\/docs.oracle.com\/javase\/8\/docs\/technotes\/tools\/windows\/javadoc.html#overviewcomment 2018. Javadoc Comments. (2018). https:\/\/docs.oracle.com\/javase\/8\/docs\/technotes\/tools\/windows\/javadoc.html#overviewcomment"},{"key":"e_1_3_2_1_4_1","unstructured":"2018. Randoop. (2018). Retrieved May 24 2018 from https:\/\/randoop.github.io\/randoop\/ 2018. Randoop. (2018). Retrieved May 24 2018 from https:\/\/randoop.github.io\/randoop\/"},{"key":"e_1_3_2_1_5_1","unstructured":"2018. The Standford Parser. (2018). https:\/\/nlp.stanford.edu\/software\/lex-parser.shtml 2018. The Standford Parser. (2018). https:\/\/nlp.stanford.edu\/software\/lex-parser.shtml"},{"key":"e_1_3_2_1_6_1","volume-title":"An SMT-LIB Format for Sequences and Regular Expressions. In In SMT workshop.","author":"Bj Nikolaj","year":"2012"},{"key":"e_1_3_2_1_7_1","unstructured":"R\u00e9gis William Blanc Etienne Kneuss Viktor Kuncak and Philippe Suter. 2013. On Verification by Translation to Recursive Functions. (2013) 11. R\u00e9gis William Blanc Etienne Kneuss Viktor Kuncak and Philippe Suter. 2013. On Verification by Translation to Recursive Functions. (2013) 11."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382796"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2557833.2560572"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771810"},{"key":"e_1_3_2_1_11_1","unstructured":"Katrin Erk. 2018. Computational Semantics. (01 2018). http:\/\/linguistics.oxfordre.com\/view\/10.1093\/acrefore\/9780199384655.001.0001\/acrefore-9780199384655-e-331 Katrin Erk. 2018. Computational Semantics. (01 2018). http:\/\/linguistics.oxfordre.com\/view\/10.1093\/acrefore\/9780199384655.001.0001\/acrefore-9780199384655-e-331"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009851"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090147.2094081"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770351.1770365"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542498"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Adam Kiezun Vijay Ganesh Philip J. Guo Pieter Hooimeijer and Michael D. Ernst. 2009. HAMPI: A Solver for String Constraints. (2009). Adam Kiezun Vijay Ganesh Philip J. Guo Pieter Hooimeijer and Michael D. Ernst. 2009. HAMPI: A Solver for String Constraints. (2009).","DOI":"10.1145\/1572272.1572286"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393667"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/566171.566213"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Vijay Krishna Palepu Guoqing Xu and James A. Jones. 2014. Improving efficiency of dynamic analysis with dynamic dependence summaries. In Ieee\/acm International Conference on Automated Software Engineering. 59--69. 10.1109\/ASE.2013.6693066 Vijay Krishna Palepu Guoqing Xu and James A. Jones. 2014. Improving efficiency of dynamic analysis with dynamic dependence summaries. In Ieee\/acm International Conference on Automated Software Engineering. 59--69. 10.1109\/ASE.2013.6693066","DOI":"10.1109\/ASE.2013.6693066"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2012.51"},{"key":"e_1_3_2_1_24_1","unstructured":"G. Redelinghuys. 2012. Symbolic string execution. Master's thesis. Stellenbosch University. G. Redelinghuys. 2012. Symbolic string execution. Master's thesis. Stellenbosch University."},{"key":"e_1_3_2_1_25_1","unstructured":"Margaret C Roth. 2012. CONSTRAINTS AND CONTROLS. Army Al T Magazine (2012). Margaret C Roth. 2012. CONSTRAINTS AND CONTROLS. Army Al T Magazine (2012)."},{"key":"e_1_3_2_1_26_1","unstructured":"Armando Solarlezama. 2008. Program synthesis by sketching. Dissertations Theses - Gradworks (2008). Armando Solarlezama. 2008. Program synthesis by sketching. Dissertations Theses - Gradworks (2008)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581377"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Ting Su Zhoulai Fu Geguang Pu Jifeng He and Zhendong Su. 2015. Combining Symbolic Execution and Model Checking for Data Flow Testing. In Ieee\/acm IEEE International Conference on Software Engineering. 654--665. Ting Su Zhoulai Fu Geguang Pu Jifeng He and Zhendong Su. 2015. Combining Symbolic Execution and Model Checking for Data Flow Testing. In Ieee\/acm IEEE International Conference on Software Engineering. 654--665.","DOI":"10.1109\/ICSE.2015.81"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Nikolai Tillmann and Jonathan de Halleux. 2008. Pex--White Box Test Generation for .NET. In Tests and Proofs Bernhard Beckert and Reiner H\u00e4hnle (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 134--153. Nikolai Tillmann and Jonathan de Halleux. 2008. Pex--White Box Test Generation for .NET. In Tests and Proofs Bernhard Beckert and Reiner H\u00e4hnle (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 134--153.","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594340"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.15"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.15"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884881"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"}],"event":{"name":"Internetware '18: The Tenth Asia-Pacific Symposium on Internetware","location":"Beijing China","acronym":"Internetware '18","sponsor":["Institute of Software, Chinese Academy of Sciences","CCF China Computer Federation"]},"container-title":["Proceedings of the Tenth Asia-Pacific Symposium on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3275219.3275229","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3275219.3275229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T19:08:56Z","timestamp":1775243336000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3275219.3275229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,16]]},"references-count":35,"alternative-id":["10.1145\/3275219.3275229","10.1145\/3275219"],"URL":"https:\/\/doi.org\/10.1145\/3275219.3275229","relation":{},"subject":[],"published":{"date-parts":[[2018,9,16]]}}}