{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:19:12Z","timestamp":1725495552616},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540758662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75867-9_65","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T22:34:40Z","timestamp":1195166080000},"page":"515-522","source":"Crossref","is-referenced-by-count":2,"title":["Efficient Model Checking of Applications with Input\/Output"],"prefix":"10.1007","author":[{"given":"Cyrille","family":"Artho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boris","family":"Zweim\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Biere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Etsuya","family":"Shibayama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinichi","family":"Honiden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"65_CR1","doi-asserted-by":"crossref","unstructured":"Artho, C., Garoche, P.: Accurate centralization for applying model checking on networked applications. In: Proc. 21st Int\u2019l Conf. on Automated Software Engineering (ASE\u00a02006), Tokyo, Japan (2006)","DOI":"10.1109\/ASE.2006.10"},{"key":"65_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"C. Artho","year":"2004","unstructured":"Artho, C., Schuppan, V., Biere, A., Eugster, P., Baur, M., Zweim\u00fcller, B.: JNuke: Efficient Dynamic Analysis for Java. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, Springer, Heidelberg (2004)"},{"key":"65_CR3","doi-asserted-by":"crossref","unstructured":"Artho, C., Sommer, C., Honiden, S.: Model checking networked programs in the presence of transmission failures. In: Proc. 1st Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE\u00a02007), Shanghai, China (2007)","DOI":"10.1109\/TASE.2007.33"},{"key":"65_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45420-9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Ball","year":"2001","unstructured":"Ball, T., Podelski, A., Rajamani, S.: Boolean and Cartesian Abstractions for Model Checking C Programs. In: Margaria, T., Yi, W. (eds.) ETAPS 2001 and TACAS 2001. LNCS, vol.\u00a02031, Springer, Heidelberg (2001)"},{"key":"65_CR5","volume-title":"Model checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)"},{"key":"65_CR6","volume-title":"Proc.\u00a022nd Intl.\u00a0Conf.\u00a0on Software Engineering (ICSE\u00a02000)","author":"J. Corbett","year":"2000","unstructured":"Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C., Robby, Laubach, S., Zheng, H.: Bandera: Extracting finite-state models from Java source code. In: Proc.\u00a022nd Intl.\u00a0Conf.\u00a0on Software Engineering (ICSE\u00a02000), Ireland, ACM Press, New York (2000)"},{"key":"65_CR7","first-page":"174","volume-title":"Proc.\u00a024th ACM Symposium on Principles of Programming Languages (POPL\u00a01997)","author":"P. Godefroid","year":"1997","unstructured":"Godefroid, P.: Model checking for programming languages using VeriSoft. In: Proc.\u00a024th ACM Symposium on Principles of Programming Languages (POPL\u00a01997), France, pp. 174\u2013186. ACM Press, New York (1997)"},{"key":"65_CR8","unstructured":"Goldberg, I., Wagner, D., Thomas, R., Brewer, E.: A secure environment for untrusted helper applications. In: Proc. 6th Usenix Security Symposium, San Jose, USA (1996)"},{"key":"65_CR9","unstructured":"King, S., Dunlap, G., Chen, P.: Debugging operating systems with time-traveling virtual machines. In: Proc. USENIX 2005 Annual Technical Conference, Anaheim, USA, pp. 1\u201315 (2005)"},{"key":"65_CR10","unstructured":"Nakagawa, Y., Potter, R., Yamamoto, M., Hagiya, M., Kato, K.: Model checking of multi-process applications using SBUML and GDB. In: Proc. Workshop on Dependable Software: Tools and Methods, Yokohama, Japan, pp. 215\u2013220 (2005)"},{"key":"65_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-45139-0_12","volume-title":"Model Checking Software","author":"S. Stoller","year":"2001","unstructured":"Stoller, S., Liu, Y.: Transformations for model checking distributed Java programs. In: Dwyer, M.B. (ed.) Model Checking Software. LNCS, vol.\u00a02057, pp. 192\u2013199. Springer, Heidelberg (2001)"},{"key":"65_CR12","unstructured":"Virtutech. Simics Hindsight (2005), http:\/\/www.virtutech.se\/products\/simics-hindsight.html"},{"key":"65_CR13","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering Journal\u00a010(2) (April 2003)","DOI":"10.1023\/A:1022920129859"},{"issue":"9","key":"65_CR14","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1145\/362342.362360","volume":"16","author":"M. Zelkowitz","year":"1973","unstructured":"Zelkowitz, M.: Reversible execution. Commun. ACM\u00a016(9), 566 (1973)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75867-9_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:35:57Z","timestamp":1619505357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75867-9_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540758662"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75867-9_65","relation":{},"subject":[]}}