{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T13:10:28Z","timestamp":1740316228414,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213147"},{"type":"electronic","value":"9783540247326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24732-6_4","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:14:47Z","timestamp":1280276087000},"page":"39-56","source":"Crossref","is-referenced-by-count":15,"title":["Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM"],"prefix":"10.1007","author":[{"given":"Peter","family":"Leven","sequence":"first","affiliation":[]},{"given":"Tilman","family":"Mehler","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Edelkamp","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.K.: The Slam Project: Debugging System Software via Static Analysis. In: ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 1\u20133 (2002)","DOI":"10.1145\/565816.503274"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bosnacki, D., Dams, D., Holenderski, L.: A Heuristic for Symmetry Reductions with Scalarsets. In: International Symposium on FME: Formal Methods for Increasing Software Productivity, pp. 518\u2013533 (2001)","DOI":"10.1007\/3-540-45251-6_30"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0054175","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Cattel","year":"1998","unstructured":"Cattel, T.: Modeling and Verification of sC++ Applications. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 232\u2013248. Springer, Heidelberg (1998)"},{"key":"4_CR4","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C., Robby, Laubachand, S., Zheng, H.: Extracting Finite-state Models from Java Source Code. In: International Conference on Software Engineering (ICSE), pp. 439\u2013448 (2000)","DOI":"10.1109\/ICSE.2000.870434"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-48234-2_20","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"C. Demartini","year":"1999","unstructured":"Demartini, C., Iosif, R., Sisto, R.: dSPIN: A dynamic extension of SPIN. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, pp. 261\u2013276. Springer, Heidelberg (1999)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Dwyer, M., Hatcliff, J., Prasad, V., Robby: Exploiting Object Escape and Locking Information in Partial Order Reduction for Concurrent Object-Oriented Programs. To appear in Formal Methods in System Design Journal, FMSD (2004)","DOI":"10.1023\/B:FORM.0000040028.49845.67"},{"key":"4_CR8","volume-title":"Electronic Notes in Theoretical Computer Science","author":"S. Edelkamp","year":"2001","unstructured":"Edelkamp, S., Lafuente, A.L., Leue, S.: Trail-directed Model Checking. In: Stoller, S.D., Visser, W. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a055, Elsevier Science Publishers, Amsterdam (2001)"},{"key":"4_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-36078-6_10","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"S. Edelkamp","year":"2002","unstructured":"Edelkamp, S., Leven, P.: Directed Automated Theorem Proving. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol.\u00a02514, pp. 145\u2013159. Springer, Heidelberg (2002)"},{"key":"4_CR10","unstructured":"Edelkamp, S., Mehler, T.: Byte Code Distance Heuristics and Trail Direction for Model Checking Java Programs. In: 2nd Workshop on Model Checking and Artificial Intelligence (MoChArt), pp. 69\u201376 (2003)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model Checking for Programming Languages using Verisoft. In: Symposium on Principles of Programming Languages, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Groce, A., Visser, W.: Model Checking Java Programs using Structural Heuristics. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 12\u201321 (2002)","DOI":"10.1145\/566172.566175"},{"key":"4_CR13","unstructured":"Hatcliff, J., Tkachuck, O.: The Bandera Tools for Model-checking Java Source Code: A User\u2019s Manual. Technical report, Kansas State University (1999)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-44829-2_17","volume-title":"Model Checking Software","author":"A. Henzinger","year":"2003","unstructured":"Henzinger, A., Jhala, R., Majumdar, R., Sutre, G.: Software Verification with BLAST. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 235\u2013239. Springer, Heidelberg (2003)"},{"key":"4_CR15","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"4_CR16","unstructured":"Holzmann, G.J.: State Compression in SPIN. In: Third Spin Workshop, Twente University, The Netherlands (1997)"},{"issue":"5","key":"4_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker SPIN. Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"Software Engineering"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/10722468_8","volume-title":"SPIN Model Checking and Software Verification","author":"G.J. Holzmann","year":"2000","unstructured":"Holzmann, G.J.: Logic Verification of ANSI-C code with SPIN. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 131\u2013147. Springer, Heidelberg (2000)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Iosif, R.: Exploiting Heap Symmetries in Explicit-State Model Checking of Software. In: International Conference on Automated Software Engineering (ICSE), pp. 26\u201329 (2001)","DOI":"10.1109\/ASE.2001.989811"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/3-540-46017-9_10","volume-title":"Model Checking Software","author":"A. Lluch-Lafuente","year":"2002","unstructured":"Lluch-Lafuente, A., Leue, S., Edelkamp, S.: Partial Order Reduction in Directed Model Checking. In: Bo\u0161na\u010dki, D., Leue, S. (eds.) SPIN 2002. LNCS, vol.\u00a02318, pp. 112\u2013127. Springer, Heidelberg (2002)"},{"key":"4_CR21","unstructured":"Mehler, T., Leven, P.: Introduction to StEAM - An Assembly-Level Software Model Checker. Technical report, University of Freiburg (2003)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Park, D., Chou, A., Engler, D., Dill, D.: CMC: A Pragmatic Approach to Model Checking Real Code. In: Symposium on Operating Systems Design and Implementation, OSDI (2002)","DOI":"10.1145\/1060289.1060297"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Robby, M., Dwyer, B., Hatcliff, J.: Bogor: An Extensible and Highly-Modular Software Model Checking Framework. In: European Software Engineering Conference (ESEC), pp. 267\u2013276 (2003)","DOI":"10.1145\/949952.940107"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Java PathFinder - second generation of a Java model checker. In: Post-CAV Workshop on Advances in Verification, WAVe (2000)","DOI":"10.1109\/ASE.2000.873645"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model Checking Programs. In: International Conference on Automated Software Engineering (ICSE), pp. 3\u201312 (2000)","DOI":"10.1109\/ASE.2000.873645"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24732-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T12:29:50Z","timestamp":1740313790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24732-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213147","9783540247326"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24732-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}