{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T16:21:45Z","timestamp":1774369305563,"version":"3.50.1"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"MSIP (Ministry of Science, ICT & Future Planning), Korea"},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea (NRF)","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Next-Generation Information Computing Development Program"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/tr.2015.2443392","type":"journal-article","created":{"date-parts":[[2015,6,18]],"date-time":"2015-06-18T18:42:06Z","timestamp":1434652926000},"page":"1024-1037","source":"Crossref","is-referenced-by-count":8,"title":["Enhancing Conformance Testing Using Symbolic Execution for Network Protocols"],"prefix":"10.1109","volume":"64","author":[{"given":"JaeSeung","family":"Song","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyoungshick","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soojin","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"ref33","author":"postel","year":"1981","journal-title":"RFC 791 INTERNET PROTOCOL DARPA INTERNET PROGRAM PROTOCOL SPECIFICATION"},{"key":"ref32","author":"postel","year":"1983","journal-title":"IETF RFC 854 Telnet protocol specification"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1145\/226295.226317","article-title":"A semantic model of program faults","volume":"21","author":"jefferson offutt","year":"1996","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/35.312841"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572299"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"},{"key":"ref35","first-page":"279","article-title":"Symdrive: Testing drivers without devices","author":"renzelmann","year":"2012","journal-title":"Proc 10th USENIX Conf Oper Syst Des Implementation"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/s10009-009-0118-1","article-title":"A survey of new trends in symbolic execution for software testing and analysis","volume":"11","author":"p?s?reanu","year":"2009","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.07.001"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/331963.331965"},{"key":"ref11","author":"droms","year":"1997","journal-title":"RFC 2131 Dynamic Host Configuration Protocol"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"ref13","first-page":"21","article-title":"A survey on automatic test data generation","author":"edvardsson","year":"1999","journal-title":"Proc 2nd Conf Comput Sci Eng Link\ufffdping"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.140"},{"key":"ref15","first-page":"1","article-title":"Symbolic execution techniques for test purpose definition","author":"gaston","year":"2006","journal-title":"Proc 18th IFIP TC6\/WG6 1 Int Conf Testing Commun Syst"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/1064978.1065036","article-title":"DART: Directed Automated Random Testing","volume":"40","author":"godefroid","year":"2005","journal-title":"SIGPLAN Not"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2090147.2094081"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001424"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336532"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.41"},{"key":"ref4","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proc 8th USENIX Conf Operating Systems Design and Implementation"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-642-23702-7_11","article-title":"Directed Symbolic Execution","author":"ma","year":"2011","journal-title":"Proc 18th Int Conf Static Anal"},{"key":"ref3","author":"borman","year":"1993","journal-title":"IETF RFC 1411 Telnet Authentication Kerberos Version 4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1988.0029"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.58319"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2499368.2451152"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080123"},{"key":"ref9","first-page":"463","article-title":"FIE on firmware: Finding vulnerabilities in embedded systems using symbolic execution","author":"davidson","year":"2013","journal-title":"Proc 22nd USENIX Conf Security"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.223.0229"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950369"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1377836.1377867"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693084"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1109\/ICST.2010.48","article-title":"When BDDs Fail: Conformance testing with symbolic execution and SMT solving","author":"j\ufffdbstl","year":"2010","journal-title":"Proceedings International Conference on Software Testing Verification and Validation"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"ref21","year":"1995","journal-title":"ISO\/IEC"},{"key":"ref42","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","article-title":"Testing concurrent systems: A formal approach","author":"tretmans","year":"1999","journal-title":"Proc 10th Int Conf Concurrency Theory"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2011.6005945"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00132-7"},{"key":"ref44","author":"ts'o","year":"2000","journal-title":"IETF RFC 2941 Telnet Authentication Option"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2009.5384761"},{"key":"ref43","author":"ts'o","year":"2000","journal-title":"IETF RFC 2942 Telnet Authentication Kerberos Version 5"},{"key":"ref25","year":"1994","journal-title":"libpcap"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/7229405\/07128419.pdf?arnumber=7128419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,14]],"date-time":"2022-05-14T02:10:32Z","timestamp":1652494232000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7128419\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":47,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tr.2015.2443392","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9]]}}}