{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:23:17Z","timestamp":1725517397458},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540857617"},{"type":"electronic","value":"9783540857624"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85762-4_2","type":"book-chapter","created":{"date-parts":[[2008,8,22]],"date-time":"2008-08-22T10:20:29Z","timestamp":1219400429000},"page":"3-22","source":"Crossref","is-referenced-by-count":5,"title":["A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C\/C++ Modules"],"prefix":"10.1007","author":[{"given":"Jan","family":"Peleska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"IEC 61508 Functional safety of electric\/electronic\/programmable electronic safety-related systems. International Electrotechnical Commission (2006)"},{"key":"2_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4376-0","volume-title":"Verification of Sequential and Concurrent Programs","author":"K.R. Apt","year":"1991","unstructured":"Apt, K.R., Olderog, E.R.: Verification of Sequential and Concurrent Programs. Springer, Heidelberg (1991)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Badban, B., Fr\u00e4nzle, M., Peleska, J., Teige, T.: Test automation for hybrid systems. In: Proceedings of the Third International Workshop on SOFTWARE QUALITY ASSURANCE (SOQUA 2006), Portland Oregon, November 2006, USA (2006)","DOI":"10.1145\/1188895.1188902"},{"key":"2_CR4","volume-title":"Test-Driven Development","author":"K. Beck","year":"2003","unstructured":"Beck, K.: Test-Driven Development. Addison-Wesley, Reading (2003)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-77505-8_23","volume-title":"Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues","author":"P. Cousot","year":"2008","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: Combination of abstractions in the Astr\u00e9e static analyzer. In: Okada, M., Satoh, I. (eds.) ASIAN 2006. LNCS, vol.\u00a04435, pp. 1\u201324. Springer, Heidelberg (2008)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-36377-7_5","volume-title":"The Essence of Computation","author":"B. Blanchet.","year":"2002","unstructured":"Blanchet., B., et al.: Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. In: Mogensen, T.A., et al. (eds.) The Essence of Computation. LNCS, vol.\u00a02566, pp. 85\u2013108. Springer, Heidelberg (2002)"},{"key":"2_CR7","unstructured":"European Committee for Electrotechnical Standardization. EN 50128 \u2013 Railway applications \u2013 Communications, signalling and processing systems \u2013 Software for railway control and protection systems. CENELEC, Brussels (2001)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Fehnker, A., Huuck, R., Jayet, P., Lussenburg, M., Rauch, F.: Goanna - a static model checker. In: Proceedings of 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Bonn, Germany (2006)","DOI":"10.1007\/978-3-540-70952-7_20"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Fr\u00e4nzle, M., Herde, C., Teige, T., Ratschan, S., Schubert, T.: Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. Journal on Satisfiability, Boolean Modeling and Computation (2007)","DOI":"10.3233\/SAT190012"},{"key":"2_CR10","unstructured":"GCC, the GNU Compiler Collection. The GIMPLE family of intermediate representations, http:\/\/gcc.gnu.org\/wiki\/GIMPLE"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/978-3-540-30579-8_24","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"J. Goubault-Larrecq","year":"2005","unstructured":"Goubault-Larrecq, J., Parrennes, F.: Cryptographic protocol analysis on real C code. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 363\u2013379. Springer, Heidelberg (2005)"},{"key":"2_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L. Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, \u00c9.: Applied Interval Analysis. Springer, London (2001)"},{"key":"2_CR13","volume-title":"Safeware","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware. Addison-Wesley, Reading (1995)"},{"key":"2_CR14","unstructured":"L\u00f6ding, H.: Behandlung komplexer Datentypen in der automatischen Testdatengenerierung. Master\u2019s thesis, University of Bremen (May 2007)"},{"key":"2_CR15","series-title":"LNCS Festschrift series","volume-title":"Correctness, Concurrency and Compositionality \u2013 Festschrift for Willem-Paul de Roever","author":"J. Peleska","year":"2008","unstructured":"Peleska, J.: Integrated and automated abstract interpretation, verification and testing of C\/C++ modules. In: Dams, D.R., Hannemann, U., Steffen, M. (eds.) Correctness, Concurrency and Compositionality \u2013 Festschrift for Willem-Paul de Roever. LNCS Festschrift series. Springer, Heidelberg (2008)"},{"key":"2_CR16","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the 3rd intl Workshop on Systems Software Verification (SSV 2008)","author":"J. Peleska","year":"2008","unstructured":"Peleska, J., L\u00f6ding, H.: Symbolic and abstract interpretation for c\/c++ programs. In: Proceedings of the 3rd intl Workshop on Systems Software Verification (SSV 2008), February 2008. Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam (2008)"},{"key":"2_CR17","unstructured":"Peleska, J., L\u00f6ding, H., Kotas, T.: Test automation meets static analysis. In: Koschke, R., R\u00f6diger, K.-H., Herzog, O., Ronthaler, M. (eds.) Proceedings of the INFORMATIK 2007, Band 2, Bremen, Germany, September 24-27, pp. 280\u2013286 (2007)"},{"key":"2_CR18","unstructured":"Peleska, J., M\u00f6ller, O., L\u00f6ding, H.: Model-based testing for model-driven development with uml\/dsl. In: Proceedings of the Software & Systems Quality Conference (SQC 2008) (to appear, 2008), http:\/\/www.informatik.uni-bremen.de\/agbs\/jp\/jp_papers_e.html"},{"key":"2_CR19","unstructured":"Peleska, J., Zahlten, C.: Integrated automated test case generation and static analysis. In: Proceedings of the QA+Test 2007 International Conference on QA+Testing Embedded Systems, Bilbao (Spain), October17 - 19 (2007)"},{"issue":"6","key":"2_CR20","first-page":"71","volume":"21","author":"S. Ranise","year":"2006","unstructured":"Ranise, S., Tinelli, C.: Satisfiability modulo theories. TRENDS and CONTROVERSIES\u2013IEEE Magazine on Intelligent Systems\u00a021(6), 71\u201381 (2006)","journal-title":"TRENDS and CONTROVERSIES\u2013IEEE Magazine on Intelligent Systems"},{"key":"2_CR21","unstructured":"SC-167. Software Considerations in Airborne Systems and Equipment Certification. RTCA (1992)"},{"key":"2_CR22","volume-title":"Proc. IEEE 2nd Int\u2019l Symp. Industrial Embedded Systems (SIES 2007)","author":"B. Schlich","year":"2007","unstructured":"Schlich, B., Salewski, F., Kowalewski, S.: Applying model checking to an automotive microcontroller application. In: Proc. IEEE 2nd Int\u2019l Symp. Industrial Embedded Systems (SIES 2007), IEEE, Los Alamitos (2007)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/3-540-36126-X_10","volume-title":"FMCAD 2002","author":"O. Strichman","year":"2002","unstructured":"Strichman, O.: On solving presburger and linear arithmetic with sat. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol.\u00a02517, pp. 160\u2013170. Springer, Heidelberg (2002)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Tseitin, G.S.: On the complexity of derivation in propositional calculus. In: Slisenko, A.O. (ed.) Studies in Constructive Mathematics and Mathematical Logic, Part 2, Consultants Bureau, New York, p. 115 (1962)","DOI":"10.1007\/978-1-4899-5327-8_25"},{"key":"2_CR25","volume-title":"Proceedings of the PLDI 2004","author":"A. Venet","year":"2004","unstructured":"Venet, A., Brat, G.: Precise and efficient static array bound checking for large embedded c programs. In: Proceedings of the PLDI 2004, Washington, DC, June 9-11, 2004, ACM Press, USA (2004)"},{"key":"2_CR26","unstructured":"Verified Systems International GmbH, Bremen. RT-Tester 6.2 \u2013 User Manual (2007)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85762-4_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:34:26Z","timestamp":1606167266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85762-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540857617","9783540857624"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85762-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}