{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T10:01:57Z","timestamp":1756634517753,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T00:00:00Z","timestamp":1499644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1526253, CCF-1526652"],"award-info":[{"award-number":["CNS-1526253, CCF-1526652"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,10]]},"DOI":"10.1145\/3092703.3092706","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"79-89","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics"],"prefix":"10.1145","author":[{"given":"Wei","family":"Sun","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lisong","family":"Xu","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Elbaum","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"H. P. Anvin. TFTP HPA. https:\/\/www.kernel.org\/pub\/software\/network\/tftp\/tftp-hpa\/.  H. P. Anvin. TFTP HPA. https:\/\/www.kernel.org\/pub\/software\/network\/tftp\/tftp-hpa\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001423"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111043"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/186258.187153"},{"volume-title":"Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Hungary.","author":"Boonstoppel P.","key":"e_1_3_2_1_6_1","unstructured":"P. Boonstoppel , C. Cadar , and D. Engler . 2008. RWset: Attacking Path Explosion in Constraint-Based Test Generation . In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Hungary. P. Boonstoppel, C. Cadar, and D. Engler. 2008. RWset: Attacking Path Explosion in Constraint-Based Test Generation. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Hungary."},{"key":"e_1_3_2_1_7_1","volume-title":"Requirements for Internet Hosts \u2013 Application and Support. RFC 1123 (October","author":"Braden R.","year":"1989","unstructured":"R. Braden . 1989. Requirements for Internet Hosts \u2013 Application and Support. RFC 1123 (October 1989 ). R. Braden. 1989. Requirements for Internet Hosts \u2013 Application and Support. RFC 1123 (October 1989)."},{"volume-title":"Proceedings of USENIX ATC","author":"Bugrara S.","key":"e_1_3_2_1_8_1","unstructured":"S. Bugrara and D. Engler . 2013. Redundant state detection for dynamic symbolic execution . In Proceedings of USENIX ATC . San Jose, CA. S. Bugrara and D. Engler. 2013. Redundant state detection for dynamic symbolic execution. In Proceedings of USENIX ATC. San Jose, CA."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"volume-title":"Proceedings of USENIX OSDI","author":"Cadar C.","key":"e_1_3_2_1_10_1","unstructured":"C. Cadar , D. Dunbar , and D. Engler . 2008. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs . In Proceedings of USENIX OSDI . San Diego, CA. C. Cadar, D. Dunbar, and D. Engler. 2008. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of USENIX OSDI. San Diego, CA."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"volume-title":"Proceedings of USENIX NSDI","author":"Canini M.","key":"e_1_3_2_1_12_1","unstructured":"M. Canini , D. Venzano , P. Peresini , D. Kostic , and J. Rexford . 2012. A NICE way to test OpenFlow applications . In Proceedings of USENIX NSDI . San Jose, CA. M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford. 2012. A NICE way to test OpenFlow applications. In Proceedings of USENIX NSDI. San Jose, CA."},{"volume-title":"Proceedings of USENIX ATC","author":"Cardwell N.","key":"e_1_3_2_1_13_1","unstructured":"N. Cardwell , Y. Cheng, and et al. 2013. PacketDrill: Scriptable Network Stack Testing, from Sockets to Packets . In Proceedings of USENIX ATC . San Jose, CA. N. Cardwell, Y. Cheng, and et al. 2013. PacketDrill: Scriptable Network Stack Testing, from Sockets to Packets. In Proceedings of USENIX ATC. San Jose, CA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110356.2110358"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"volume-title":"Proceedings of USENIX NSDI","author":"Dobrescu M.","key":"e_1_3_2_1_16_1","unstructured":"M. Dobrescu and K. Argyraki . 2014. Software dataplane verification . In Proceedings of USENIX NSDI . Seattle, WA. M. Dobrescu and K. Argyraki. 2014. Software dataplane verification. In Proceedings of USENIX NSDI. Seattle, WA."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.07.001"},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Informatics S-12","volume-title":"Symbolic Execution of Discrete Event Systems with Uncertain Time","author":"Dustmann O.","year":"2013","unstructured":"O. Dustmann . 2013. Symbolic Execution of Discrete Event Systems with Uncertain Time . Lecture Notes in Informatics S-12 ( 2013 ), 19\u201322. O. Dustmann. 2013. Symbolic Execution of Discrete Event Systems with Uncertain Time. Lecture Notes in Informatics S-12 (2013), 19\u201322."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988497"},{"volume-title":"Proceedings of USENIX NSDI","author":"Fayaz S.","key":"e_1_3_2_1_20_1","unstructured":"S. Fayaz , T. Yu , Y. Tobioka , S. Chaki , and V. Sekar . 2016. BUZZ: Testing contextdependent policies in stateful networks . In Proceedings of USENIX NSDI . Santa Clara, CA. S. Fayaz, T. Yu, Y. Tobioka, S. Chaki, and V. Sekar. 2016. BUZZ: Testing contextdependent policies in stateful networks. In Proceedings of USENIX NSDI. Santa Clara, CA."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400097.1400105"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04694-0_6"},{"key":"e_1_3_2_1_24_1","unstructured":"IEEE Working Group 802.20. 2005. 802.20 Evaluation Criteria - Ver. 1.0. 802.20 Working Group Permanent Documents (September 2005).  IEEE Working Group 802.20. 2005. 802.20 Evaluation Criteria - Ver. 1.0. 802.20 Working Group Permanent Documents (September 2005)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2008.18"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018440"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254088"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00132-7"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2210443"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2006.872572"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509553"},{"key":"e_1_3_2_1_32_1","unstructured":"Linux tftp-hpa commit. 2001. Sorcerer\u2019s Apprentice bug. https:\/\/goo.gl\/Nu3bsc.  Linux tftp-hpa commit. 2001. Sorcerer\u2019s Apprentice bug. https:\/\/goo.gl\/Nu3bsc."},{"key":"e_1_3_2_1_33_1","unstructured":"Linux tftp-hpa commit. 2002. Adaptive Timeout. https:\/\/goo.gl\/PUOwXK.  Linux tftp-hpa commit. 2002. Adaptive Timeout. https:\/\/goo.gl\/PUOwXK."},{"volume-title":"Proceedings of the 18th International Conference on Static Analysis (SAS\u201911)","author":"Ma K.","key":"e_1_3_2_1_34_1","unstructured":"K. Ma , K. Phang , J. Foster , and M. Hicks . 2011. Directed Symbolic Execution . In Proceedings of the 18th International Conference on Static Analysis (SAS\u201911) . Springer-Verlag, Berlin, Heidelberg, 95\u2013111. K. Ma, K. Phang, J. Foster, and M. Hicks. 2011. Directed Symbolic Execution. In Proceedings of the 18th International Conference on Static Analysis (SAS\u201911). Springer-Verlag, Berlin, Heidelberg, 95\u2013111."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"G. Malkin and A. Harkin. 1998. TFTP Blocksize Option. RFC 2348 (May 1998).   G. Malkin and A. Harkin. 1998. TFTP Blocksize Option. RFC 2348 (May 1998).","DOI":"10.17487\/rfc2348"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"G. Malkin and A. Harkin. 1998. TFTP Option Extension. RFC 2347 (May 1998).   G. Malkin and A. Harkin. 1998. TFTP Option Extension. RFC 2347 (May 1998).","DOI":"10.17487\/rfc2347"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"G. Malkin and A. Harkin. 1998. TFTP Timeout Interval and Transfer Size Options. RFC 2349 (May 1998).   G. Malkin and A. Harkin. 1998. TFTP Timeout Interval and Transfer Size Options. RFC 2349 (May 1998).","DOI":"10.17487\/rfc2349"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.06.019"},{"key":"e_1_3_2_1_39_1","volume-title":"On the dynamics and significance of low frequency components of Internet load. Internetworking: Research and Experience 5 (December","author":"Mukherjee A.","year":"1994","unstructured":"A. Mukherjee . 1994. On the dynamics and significance of low frequency components of Internet load. Internetworking: Research and Experience 5 (December 1994 ), 163\u2013205. A. Mukherjee. 1994. On the dynamics and significance of low frequency components of Internet load. Internetworking: Research and Experience 5 (December 1994), 163\u2013205."},{"volume-title":"Proceedings of USENIX NSDI","author":"Musuvathi M.","key":"e_1_3_2_1_40_1","unstructured":"M. Musuvathi and D. Engler . 2004. Model Checking Large Network Protocol Implementations . In Proceedings of USENIX NSDI . San Francisco, CA. M. Musuvathi and D. Engler. 2004. Model Checking Large Network Protocol Implementations. In Proceedings of USENIX NSDI. San Francisco, CA."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/263105.263155"},{"volume-title":"Proceedings of USENIX NSDI","author":"Pedrosa L.","key":"e_1_3_2_1_42_1","unstructured":"L. Pedrosa , A. Fogel , N. Kothari , R. Govindan , R. Mahajan , and T. Millstein . 2015. Analyzing protocol implementations for interoperability . In Proceedings of USENIX NSDI . Oakland, CA. L. Pedrosa, A. Fogel, N. Kothari, R. Govindan, R. Mahajan, and T. Millstein. 2015. Analyzing protocol implementations for interoperability. In Proceedings of USENIX NSDI. Oakland, CA."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2345792"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663171.2663184"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2557833.2560580"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2011.28"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2012.6459940"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786830"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635872"},{"key":"e_1_3_2_1_51_1","volume-title":"THE TFTP PROTOCOL (REVISION 2). RFC 1350 (July","author":"Sollins K.","year":"1992","unstructured":"K. Sollins . 1992. THE TFTP PROTOCOL (REVISION 2). RFC 1350 (July 1992 ). K. Sollins. 1992. THE TFTP PROTOCOL (REVISION 2). RFC 1350 (July 1992)."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2323977"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2015.2443392"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535828.2535835"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"volume-title":"Proceedings of IEEE Globecom","author":"Sun W.","key":"e_1_3_2_1_56_1","unstructured":"W. Sun , L. Xu , and S. Elbaum . 2015. SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics . In Proceedings of IEEE Globecom . San Diego, CA. W. Sun, L. Xu, and S. Elbaum. 2015. SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics. In Proceedings of IEEE Globecom. San Diego, CA."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"W. Sun L. Xu and S. Elbaum. 2017. Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics. Technical report Department of Computer Science and Engineering University of Nebraska-Lincoln (2017).  W. Sun L. Xu and S. Elbaum. 2017. Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics. Technical report Department of Computer Science and Engineering University of Nebraska-Lincoln (2017).","DOI":"10.1145\/3092703.3092706"},{"volume-title":"Proceedings of IEEE INFOCOM","author":"Tan K.","key":"e_1_3_2_1_58_1","unstructured":"K. Tan , J. Song , Q. Zhang , and M. Sridharan . 2006. A Compound TCP Approach for High-speed and Long Distance Networks . In Proceedings of IEEE INFOCOM . Barcelona, Spain. K. Tan, J. Song, Q. Zhang, and M. Sridharan. 2006. A Compound TCP Approach for High-speed and Long Distance Networks. In Proceedings of IEEE INFOCOM. Barcelona, Spain."},{"volume-title":"Proceedings of USENIX Security Symposium","author":"Udrea O.","key":"e_1_3_2_1_59_1","unstructured":"O. Udrea , C. Lumezanu , and J. Foster . 2006. Rule-based static analysis of network protocol implementation . In Proceedings of USENIX Security Symposium . Vancouver, Canada. O. Udrea, C. Lumezanu, and J. Foster. 2006. Rule-based static analysis of network protocol implementation. In Proceedings of USENIX Security Symposium. Vancouver, Canada."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1002\/stv.430"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100093"},{"volume-title":"Proceedings of the Spring\/Summer Young Researchers Colloquium on Software Engineering. Russia.","author":"Zhigulin M.","key":"e_1_3_2_1_62_1","unstructured":"M. Zhigulin , S. Prokopenko , and M. Forostyanova . 2012. Detecting faults in TFTP implementations using Finite State Machines with timeouts . In Proceedings of the Spring\/Summer Young Researchers Colloquium on Software Engineering. Russia. M. Zhigulin, S. Prokopenko, and M. Forostyanova. 2012. Detecting faults in TFTP implementations using Finite State Machines with timeouts. In Proceedings of the Spring\/Summer Young Researchers Colloquium on Software Engineering. Russia."}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Santa Barbara CA USA","acronym":"ISSTA '17"},"container-title":["Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092706","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3092706","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3092706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:26Z","timestamp":1750217846000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092706"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":62,"alternative-id":["10.1145\/3092703.3092706","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3092706","relation":{},"subject":[],"published":{"date-parts":[[2017,7,10]]},"assertion":[{"value":"2017-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}