{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T17:40:03Z","timestamp":1755884403800,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"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":[[2023,9,24]]},"DOI":"10.1145\/3630138.3630437","type":"proceedings-article","created":{"date-parts":[[2024,1,18]],"date-time":"2024-01-18T02:04:17Z","timestamp":1705543457000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A variable value range analysis method based on path propagation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-9340-3732","authenticated-orcid":false,"given":"Tao","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Software and Microelectronics, Peking University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-9230-1617","authenticated-orcid":false,"given":"Xiarun","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Software and Microelectronics, Peking University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4158-2713","authenticated-orcid":false,"given":"Zhong","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Software and Microelectronics, Peking University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,1,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-0427(00)00342-3"},{"key":"e_1_3_2_1_2_1","first-page":"92","volume-title":"International Conference on Embedded Software and Systems, ICESS","author":"Chapoutot A","year":"2009","unstructured":"Chapoutot A and Martel M. 2009. Abstract simulation: A static analysis of simulink models. In: International Conference on Embedded Software and Systems, ICESS 2009, pp. 83\u201392."},{"key":"e_1_3_2_1_3_1","first-page":"107","volume-title":"QSIC","author":"Xu Z","unstructured":"Xu Z and Zhang J. 2006. A test data generation tool for unit testing of C programs. QSIC, pp. 107-116."},{"key":"e_1_3_2_1_4_1","first-page":"425","volume-title":"Xu Z and Wang J","author":"Xu Z","year":"2014","unstructured":"Xu Z, Zhang J, Xu Z and Wang J. 2014. Canalyze: A static bug-finding tool for C programs. ISSTA, pp. 425-428."},{"key":"e_1_3_2_1_5_1","first-page":"338","volume-title":"NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. 2022 29th Asia-Pacific Software Engineering Conference (APSEC)","author":"Ma C","unstructured":"Ma C, Chen L, Yi X, Fan G and Wang J. 2022. NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. 2022 29th Asia-Pacific Software Engineering Conference (APSEC), pp. 338-347."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-021-09322-9"},{"key":"e_1_3_2_1_7_1","first-page":"549","article-title":"Automatic detection of floating-point exceptions. In The 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL \u201813, Rome","volume":"23","author":"Barr E T","year":"2013","unstructured":"Barr E T, Vo T, Le V and Su Z. 2013. Automatic detection of floating-point exceptions. In The 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL \u201813, Rome, Italy-January 23-25, 2013, pp. 549\u2013560.","journal-title":"Italy-January"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0203-7"},{"volume-title":"Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings 14","author":"Dernehl C","key":"e_1_3_2_1_9_1","unstructured":"Dernehl C, Hansen N and Kowalewski S. 2016. Combining abstract interpretation with symbolic execution for a static value range analysis of block diagrams. Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings 14. Springer International Publishing."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.21078\/JSSI-2021-378-21"},{"volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer International Publishing.","author":"Schubert P D","key":"e_1_3_2_1_11_1","unstructured":"Schubert P D, Hermann B and Bodden E. 2019. Phasar: An inter-procedural static analysis framework for c\/c++. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer International Publishing."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314590"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.3390\/s21041133"},{"key":"e_1_3_2_1_14_1","first-page":"1769","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Lu K","unstructured":"Lu K, Pakki A and Wu Q. 2019. Detecting Missing-Check Bugs via Semantic-and Context-Aware Criticalness and Constraints Inferences. In 28th USENIX Security Symposium (USENIX Security 19), pp. 1769-1786."}],"event":{"name":"PCCNT 2023: 2023 International Conference on Power, Communication, Computing and Networking Technologies","acronym":"PCCNT 2023","location":"Wuhan China"},"container-title":["2023 International Conference on Power Communication Computing and Networking Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3630138.3630437","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3630138.3630437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T17:10:27Z","timestamp":1755882627000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3630138.3630437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,24]]},"references-count":14,"alternative-id":["10.1145\/3630138.3630437","10.1145\/3630138"],"URL":"https:\/\/doi.org\/10.1145\/3630138.3630437","relation":{},"subject":[],"published":{"date-parts":[[2023,9,24]]},"assertion":[{"value":"2024-01-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}