{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:51:39Z","timestamp":1755838299078},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/icnp.2012.6459940","type":"proceedings-article","created":{"date-parts":[[2013,2,21]],"date-time":"2013-02-21T19:11:30Z","timestamp":1361473890000},"page":"1-6","source":"Crossref","is-referenced-by-count":6,"title":["Integration testing of protocol implementations using symbolic distributed execution"],"prefix":"10.1109","author":[{"given":"Raimondas","family":"Sasnauskas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Kaiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Russ Lucas","family":"Jukic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Wehrle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985995"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2011.6005945"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"},{"key":"11","first-page":"423","article-title":"D3S: Debugging deployed distributed systems","author":"liu","year":"2008","journal-title":"5th USENIX Symposium on Networked Systems Design & Implementation NSDI 2008 April 16-18 2008 San Francisco CA USA Proceedings"},{"key":"12","article-title":"CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems","author":"yabandeh","year":"2009","journal-title":"NSDI"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.17487\/rfc5201"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICTEL.2008.4652624"},{"journal-title":"Mobile ACcess (German Description)","year":"0","key":"1"},{"key":"10","article-title":"Slicetime: A platform for scalable and accurate network emulation","author":"weingaertner","year":"0","journal-title":"Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI'11) 2011"},{"key":"7","article-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","author":"cadar","year":"0","journal-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI) 2008"},{"key":"6","first-page":"41","article-title":"Qemu, a fast and portable dynamic translator","author":"bellard","year":"2005","journal-title":"ATEC'05"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"journal-title":"Host Identity Protocol for Linux","year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2011.28"},{"key":"8","article-title":"Selective Symbolic Execution","author":"chipounov","year":"0","journal-title":"Proc of 5th Workshop on Hot Topics in System Dependability (HotDep) Jun 2009"}],"event":{"name":"2012 20th IEEE International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2012,10,30]]},"location":"Austin, TX, USA","end":{"date-parts":[[2012,11,2]]}},"container-title":["2012 20th IEEE International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6424016\/6459930\/06459940.pdf?arnumber=6459940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T23:09:43Z","timestamp":1490224183000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6459940\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icnp.2012.6459940","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}