{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T17:24:24Z","timestamp":1763141064095,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"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":[[2018,5,27]]},"DOI":"10.1145\/3183440.3183471","type":"proceedings-article","created":{"date-parts":[[2018,6,18]],"date-time":"2018-06-18T12:28:18Z","timestamp":1529324898000},"page":"69-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Weak-assert"],"prefix":"10.1145","author":[{"given":"Cong","family":"Wang","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xibin","family":"Zhao","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[{"name":"Portland State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Roy Budhai Brian Chen Teresa Su and Sheldon Sequeira. 2016. Testing application code changes using a state assertion framework. (2016)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"Montgomery Carter Shaobo He Jonathan Whitaker and Michael Emmi. 2017. SMACK software verification toolchain. In Ieee\/acm International Conference on Software Engineering Companion. 589--592. 10.1145\/2889160.2889163","DOI":"10.1145\/2889160.2889163"},{"key":"e_1_3_2_1_3_1","volume-title":"The Realization of Page Load-stress Testing with LoadRunner","author":"Dong Yao Hua","year":"2010","unstructured":"Yao Hua Dong and Ji Dong Peng. 2010. The Realization of Page Load-stress Testing with LoadRunner. Journal of Jiangxi University of Science & Technology (2010)."},{"key":"e_1_3_2_1_4_1","unstructured":"Github. {n. d.}. Github. https:\/\/github.com\/. ({n. d.})."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1767111.1767128"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694366"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"e_1_3_2_1_8_1","volume-title":"System reliability calculation based on the run-time analysis of ladder program","author":"Jiang Yu","year":"2014","unstructured":"Yu Jiang, Hehua Zhang, Han Liu, William Hung, Xiaoyu Song, Ming Gu, and Jiaguang Sun. 2014. System reliability calculation based on the run-time analysis of ladder program. IEEE Transactions on Industrial Electronics (2014)."},{"key":"e_1_3_2_1_9_1","volume-title":"Winrunner automates app testing. Computer Weekly","author":"Langley Nick","year":"2003","unstructured":"Nick Langley. 2003. Winrunner automates app testing. Computer Weekly (2003)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","unstructured":"Erik Linstead Paul Rigor Sushil Bajracharya Cristina Lopes and Pierre F Baldi. 2008. Mining internet-scale software repositories. In Advances in neural information processing systems. 929--936.","DOI":"10.5555\/2981562.2981679"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.87"},{"key":"e_1_3_2_1_12_1","volume-title":"Common weakness enumeration","author":"Martin Robert A","year":"2007","unstructured":"Robert A Martin. 2007. Common weakness enumeration. Mitre Corporation (2007)."},{"key":"e_1_3_2_1_13_1","unstructured":"NIST. {n. d.}. Software Assurance Reference Dataset. https:\/\/samate.nist.gov\/SRD\/testsuite.php. ({n. d.})."},{"key":"e_1_3_2_1_14_1","unstructured":"S. Schaub and B.A. Malloy. 2014. Comprehensive analysis of C++ applications using the libClang API. (2014)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1870926.1871074"},{"key":"e_1_3_2_1_16_1","volume-title":"Assertion Recommendation for Formal Program Verification. In Computer Software and Applications Conference. 154--159","author":"Wang Cong","year":"2017","unstructured":"Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, and Jiaguang Sun. 2017. Assertion Recommendation for Formal Program Verification. In Computer Software and Applications Conference. 154--159."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.124"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037734"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183440.3183471","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3183440.3183471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:06Z","timestamp":1750208886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183440.3183471"}},"subtitle":["a weakness-oriented assertion recommendation toolkit for program analysis"],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":18,"alternative-id":["10.1145\/3183440.3183471","10.1145\/3183440"],"URL":"https:\/\/doi.org\/10.1145\/3183440.3183471","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}