{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T15:26:36Z","timestamp":1783437996513,"version":"3.54.6"},"reference-count":25,"publisher":"Zhejiang University Press","issue":"3","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front Inform Technol Electron Eng"],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1631\/fitee.2200275","type":"journal-article","created":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T14:02:53Z","timestamp":1679925773000},"page":"403-416","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automatic discovery of stateful variables in network protocol software based on replay analysis","\u57fa\u4e8e\u91cd\u653e\u5206\u6790\u7684\u7f51\u7edc\u534f\u8bae\u8f6f\u4ef6\u72b6\u6001\u53d8\u91cf\u81ea\u52a8\u5316\u53d1\u73b0\u6280\u672f"],"prefix":"10.1631","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8643-7355","authenticated-orcid":false,"given":"Jianxin","family":"Huang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6576-5555","authenticated-orcid":false,"given":"Bo","family":"Yu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Runhao","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9273-616X","authenticated-orcid":false,"given":"Jinshu","family":"Su","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"635","published-online":{"date-parts":[[2023,3,27]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2160718.2160742"},{"key":"ref2","first-page":"177","article-title":"Deterministic process groups in DoS","volume-title":"Proc 9th USENIX Symp on Operating Systems Design and Implementation","author":"Bergan","year":"2010"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/cgo.2011.5764689"},{"key":"ref4","first-page":"213","article-title":"Towards automatic discovery of deviations in binary implementations with applications to error detection and fingerprint generation","volume-title":"Proc 16th USENIX Security Symp","author":"Brumley","year":"2007"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2843859.2843867"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844148"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346273"},{"key":"ref8","first-page":"2829","article-title":"The use of likely invariants as feedback for fuzzers","author":"Fioraldi","year":"2021","journal-title":"Proc 30th USENIX Security Symp"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29962-0_4"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/dsn.2013.6575318"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/isca.2008.26"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99828-2_11"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/tifs.2022.3192991"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23183"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1394608.1382146"},{"key":"ref16","first-page":"1","article-title":"Model checking large network protocol implementations","volume-title":"Proc 1st Conf on Symp on Networked Systems Design and Implementation","author":"Musuvathi","year":"2004"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10233-3"},{"key":"ref18","first-page":"377","article-title":"Engineering record and replay for deployability","author":"O\u2019Callahan","year":"2017","journal-title":"Proc USENIX Conf on Usenix Annual Technical Conf"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/icst46399.2020.00062"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2508148.2485977"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085139"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/access.2019.2895025"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/cgo.2015.7054186"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2544137.2544154"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363247"}],"container-title":["Frontiers of Information Technology & Electronic Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1631\/FITEE.2200275.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1631\/FITEE.2200275\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1631\/FITEE.2200275.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T07:10:41Z","timestamp":1771657841000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1631\/FITEE.2200275"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["1899"],"URL":"https:\/\/doi.org\/10.1631\/fitee.2200275","relation":{},"ISSN":["2095-9184","2095-9230"],"issn-type":[{"value":"2095-9184","type":"print"},{"value":"2095-9230","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3]]},"assertion":[{"value":"25 June 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 November 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}