{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:56:04Z","timestamp":1725569764835},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166112"},{"type":"electronic","value":"9783642166129"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_7","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T11:45:14Z","timestamp":1289994314000},"page":"59-73","source":"Crossref","is-referenced-by-count":0,"title":["Run-Time Verification of Networked Software"],"prefix":"10.1007","author":[{"given":"Cyrille Valentin","family":"Artho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-74792-5_2","volume-title":"Formal Methods for Components and Objects","author":"C. Artho","year":"2007","unstructured":"Artho, C., Biere, A., Honiden, S.: Exhaustive testing of exception handlers with enforcer. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol.\u00a04709, pp. 26\u201346. Springer, Heidelberg (2007)"},{"key":"7_CR2","first-page":"177","volume-title":"Proc. 21st Int. Conf. on Automated Software Engineering (ASE\u00a02006)","author":"C. Artho","year":"2006","unstructured":"Artho, C., Garoche, P.: Accurate centralization for applying model checking on networked applications. In: Proc. 21st Int. Conf. on Automated Software Engineering (ASE\u00a02006), Tokyo, Japan, pp. 177\u2013188. IEEE Computer Society, Los Alamitos (2006)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Artho, C., Leungwattanakit, W., Hagiya, M., Tanabe, Y.: Efficient model checking of networked applications. In: Robinet, B. (ed.) Proc. TOOLS\u00a0EUROPE. LNCS, vol.\u00a019, pp. 22\u201340. Springer, Heidelberg (1974)","DOI":"10.1007\/978-3-540-69824-1_3"},{"key":"7_CR4","volume-title":"Proc. SNPD\u00a02008","author":"C. Artho","year":"2008","unstructured":"Artho, C., Leungwattanakit, W., Hagiya, M., Tanabe, Y.: Tools and techniques for model checking networked programs. In: Proc. SNPD\u00a02008, Phuket, Thailand. IEEE, Los Alamitos (2008)"},{"key":"7_CR5","first-page":"447","volume-title":"Proc. 24th Int. Conf. on Automated Software Engineering (ASE\u00a02009)","author":"C. Artho","year":"2009","unstructured":"Artho, C., Leungwattanakit, W., Hagiya, M., Tanabe, Y., Yamamoto, M.: Cache-based model checking of networked applications: From linear to branching time. In: Proc. 24th Int. Conf. on Automated Software Engineering (ASE\u00a02009), Auckland, New Zealand, pp. 447\u2013458. IEEE Computer Society, Los Alamitos (2009)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/978-3-540-27813-9_37","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, pp. 462\u2013465. Springer, Heidelberg (2004)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45319-9_19","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.) TACAS 2001. LNCS, vol.\u00a02031, pp. 268\u2013285. Springer, Heidelberg (2001)"},{"key":"7_CR8","first-page":"24","volume-title":"Proc. 22nd Int. Conf. on Automated Software Engineering (ASE\u00a02007)","author":"E. Barlas","year":"2007","unstructured":"Barlas, E., Bultan, T.: Netstub: a framework for verification of distributed Java applications. In: Proc. 22nd Int. Conf. on Automated Software Engineering (ASE\u00a02007), Atlanta, USA, pp. 24\u201333. ACM Press, New York (2007)"},{"key":"7_CR9","unstructured":"Ben-Asher, Y., Eytani, Y., Farchi, E.: Heuristics for finding concurrent bugs. In: Proc. Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD\u00a02003), Nice, France, p. 288a (2003)"},{"key":"7_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines \u2014 A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines \u2014 A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"7_CR11","unstructured":"Bruening, D.: Systematic testing of multithreaded Java programs. Master\u2019s thesis, MIT (1999)"},{"issue":"6","key":"7_CR12","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1109\/TSE.2004.22","volume":"30","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. IEEE Transactions on Software Engineering\u00a030(6), 388\u2013402 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR13","first-page":"431","volume-title":"Proc. 24th Int.\u00a0Conf.\u00a0on Software Engineering (ICSE\u00a02002)","author":"S. Chandra","year":"2002","unstructured":"Chandra, S., Godefroid, P., Palm, C.: Software model checking in practice: an industrial case study. In: Proc. 24th Int.\u00a0Conf.\u00a0on Software Engineering (ICSE\u00a02002), pp. 431\u2013441. ACM Press, New York (2002)"},{"key":"7_CR14","volume-title":"Model checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)"},{"key":"7_CR15","first-page":"439","volume-title":"Proc. 22nd Int.\u00a0Conf.\u00a0on Software Engineering (ICSE\u00a02000)","author":"J. Corbett","year":"2000","unstructured":"Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C.: Bandera: Extracting finite-state models from Java source code. In: Proc. 22nd Int.\u00a0Conf.\u00a0on Software Engineering (ICSE\u00a02000), Limerick, Ireland, pp. 439\u2013448. ACM Press, New York (2000)"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1109\/ICSE.2003.1201195","volume-title":"Proc. 25th Int.\u00a0Conf.\u00a0on Software Engineering (ICSE\u00a02003)","author":"J. Dingel","year":"2003","unstructured":"Dingel, J.: Computer-assisted assume\/guarantee reasoning with VeriSoft. In: Proc. 25th Int.\u00a0Conf.\u00a0on Software Engineering (ICSE\u00a02003), Washington, USA, pp. 138\u2013148. IEEE Computer Society, Los Alamitos (2003)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11513988_15","volume-title":"Computer Aided Verification","author":"M.B. Dwyer","year":"2005","unstructured":"Dwyer, M.B., Hatcliff, J., Hoosier, M., Robby: Building your own software model checker using the Bogor extensible model checking framework. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 148\u2013152. Springer, Heidelberg (2005)"},{"key":"7_CR18","first-page":"286","volume-title":"Proc. 20th IEEE Int. Parallel & Distributed Processing Symposium (IPDPS\u00a02003)","author":"E. Farchi","year":"2003","unstructured":"Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: Proc. 20th IEEE Int. Parallel & Distributed Processing Symposium (IPDPS\u00a02003), Nice, France, p. 286. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"7_CR19","first-page":"174","volume-title":"Proc. 24th 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. 24th ACM Symposium on Principles of Programming Languages (POPL\u00a01997), Paris, France, pp. 174\u2013186. ACM Press, New York (1997)"},{"key":"7_CR20","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison-Wesley, Reading (2005)","edition":"3"},{"issue":"4","key":"7_CR21","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/s10009-003-0130-9","volume":"6","author":"A. Groce","year":"2004","unstructured":"Groce, A., Visser, W.: Heuristics for model checking Java programs. Int. Journal on Software Tools for Technology Transfer\u00a06(4), 260\u2013276 (2004)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"issue":"4","key":"7_CR22","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"Havelund, K., Pressburger, T.: Model checking Java programs using Java PathFinder. Int.\u00a0Journal on Software Tools for Technology Transfer (STTT)\u00a02(4), 366\u2013381 (2000)","journal-title":"Int.\u00a0Journal on Software Tools for Technology Transfer (STTT)"},{"key":"7_CR23","volume-title":"Design and Validation of Computer Protocols","author":"G. Holzmann","year":"1991","unstructured":"Holzmann, G.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"7_CR24","unstructured":"Leungwattanakit, W., Artho, C., Hagiya, M., Tanabe, Y., Yamamoto, M.: Introduction of virtualization technology to multi-process model checking. In: Proc. 1st NASA Formal Methods Symposium, Moffett Field, USA, pp. 106\u2013110 (2009)"},{"key":"7_CR25","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"7_CR26","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/SFCS.1977.32","volume-title":"Proc. 17th Annual Symposium on Foundations of Computer Science (FOCS\u00a01977)","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. 17th Annual Symposium on Foundations of Computer Science (FOCS\u00a01977), Rhode Island, USA, pp. 46\u201357. IEEE Computer Society Press, Los Alamitos (1977)"},{"issue":"4","key":"7_CR27","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Transactions on Computer Systems"},{"key":"7_CR28","series-title":"ENTCS","first-page":"143","volume-title":"Proc. 2nd Int. Workshop on Run-time Verification (RV\u00a02002)","author":"S. Stoller","year":"2002","unstructured":"Stoller, S.: Testing concurrent Java programs using randomized scheduling. In: Proc. 2nd Int. Workshop on Run-time Verification (RV\u00a02002), Copenhagen, Denmark. ENTCS, vol.\u00a070(4), pp. 143\u2013158. Elsevier, Amsterdam (2002)"},{"key":"7_CR29","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.) SPIN 2001. LNCS, vol.\u00a02057, pp. 192\u2013199. Springer, Heidelberg (2001)"},{"issue":"2","key":"7_CR30","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering Journal\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering Journal"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T09:57:22Z","timestamp":1559815042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}