{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:11Z","timestamp":1750220231208,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"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":[{"name":"NSF","award":["2107035,1948536"],"award-info":[{"award-number":["2107035,1948536"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510454.3516833","type":"proceedings-article","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T16:16:28Z","timestamp":1666196188000},"page":"197-201","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["SymInfer"],"prefix":"10.1145","author":[{"given":"ThanhVu","family":"Nguyen","sequence":"first","affiliation":[{"name":"George Mason University"}]},{"given":"KimHao","family":"Nguyen","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln"}]},{"given":"Hai","family":"Duong","sequence":"additional","affiliation":[{"name":"Independent Researcher, Vietnam"}]}],"member":"320","published-online":{"date-parts":[[2022,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"e_1_3_2_1_2_1","volume-title":"ASM: a code manipulation tool to implement adaptable systems. Adaptable and extensible component systems 30, 19","author":"Bruneton Eric","year":"2002","unstructured":"Eric Bruneton , Romain Lenglet , and Thierry Coupaye . 2002. ASM: a code manipulation tool to implement adaptable systems. Adaptable and extensible component systems 30, 19 ( 2002 ). Eric Bruneton, Romain Lenglet, and Thierry Coupaye. 2002. ASM: a code manipulation tool to implement adaptable systems. Adaptable and extensible component systems 30, 19 (2002)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_5_1","volume-title":"The Daikon system for dynamic detection of likely invariants. Science of computer programming 69, 1--3","author":"Ernst Michael D","year":"2007","unstructured":"Michael D Ernst , Jeff H Perkins , Philip J Guo , Stephen McCamant , Carlos Pacheco , Matthew S Tschantz , and Chen Xiao . 2007. The Daikon system for dynamic detection of likely invariants. Science of computer programming 69, 1--3 ( 2007 ), 35--45. Michael D Ernst, Jeff H Perkins, Philip J Guo, Stephen McCamant, Carlos Pacheco, Matthew S Tschantz, and Chen Xiao. 2007. The Daikon system for dynamic detection of likely invariants. Science of computer programming 69, 1--3 (2007), 35--45."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428257"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45937-5_16"},{"volume-title":"Automated Software Engineering","author":"Nguyen ThanhVu","key":"e_1_3_2_1_8_1","unstructured":"ThanhVu Nguyen , Matthew Dwyer , and William Visser . 2017. SymInfer: Inferring Program Invariants using Symbolic States . In Automated Software Engineering . IEEE , 804--814. ThanhVu Nguyen, Matthew Dwyer, and William Visser. 2017. SymInfer: Inferring Program Invariants using Symbolic States. In Automated Software Engineering. IEEE, 804--814."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227149"},{"key":"e_1_3_2_1_10_1","volume-title":"Using Symbolic States to Infer Numerical Invariants. Transactions on Software Engineering (TSE)","author":"Nguyen Thanhvu","year":"2021","unstructured":"Thanhvu Nguyen , KimHao Nguyen , and Matthew Dwyer . 2021. Using Symbolic States to Infer Numerical Invariants. Transactions on Software Engineering (TSE) ( 2021 ). Thanhvu Nguyen, KimHao Nguyen, and Matthew Dwyer. 2021. Using Symbolic States to Infer Numerical Invariants. Transactions on Software Engineering (TSE) (2021)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807591.2807635"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Pittsburgh Pennsylvania","acronym":"ICSE '22"},"container-title":["Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510454.3516833","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510454.3516833","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510454.3516833","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:15Z","timestamp":1750188615000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510454.3516833"}},"subtitle":["inferring numerical invariants using symbolic states"],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":11,"alternative-id":["10.1145\/3510454.3516833","10.1145\/3510454"],"URL":"https:\/\/doi.org\/10.1145\/3510454.3516833","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}