{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T08:15:24Z","timestamp":1769588124584,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642346903","type":"print"},{"value":"9783642346910","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34691-0_3","type":"book-chapter","created":{"date-parts":[[2012,11,14]],"date-time":"2012-11-14T09:10:35Z","timestamp":1352884235000},"page":"8-23","source":"Crossref","is-referenced-by-count":8,"title":["Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Brauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Schulze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Blackburn, M.R., Busser, R.D.: T-VEC: A Tool for Developing Critical Systems. In: Compass, pp. 237\u2013249. IEEE Computer Society Press (1996)","DOI":"10.1109\/CMPASS.1996.507891"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/52.73751","volume":"8","author":"R.H. Carver","year":"1991","unstructured":"Carver, R.H., Tai, K.C.: Replay and Testing for Concurrent Programs. IEEE Software\u00a08(2), 66\u201374 (1991)","journal-title":"IEEE Software"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: POPL, pp. 238\u2013252. ACM Press (1977)","DOI":"10.1145\/512950.512973"},{"key":"3_CR4","unstructured":"Fran\u00e7a, R.B., Favre-Felix, D., Leroy, X., Pantel, M., Souyris, J.: Towards Formally Verified Optimizing Compilation in Flight Control Software. In: PPES. OASICS, vol.\u00a018, pp. 5\u20139\u201368. Schloss Dagstuhl (2011)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-24270-0_19","volume-title":"Computer Safety, Reliability, and Security","author":"J. Hillebrand","year":"2011","unstructured":"Hillebrand, J., Reichenpfader, P., Mandic, I., Siegl, H., Peer, C.: Establishing Confidence in the Usage of Software Tools in Context of ISO 26262. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 257\u2013269. Springer, Heidelberg (2011)"},{"key":"3_CR6","unstructured":"International Organization for Standardization. ISO 26262 - Road Vehicles - Functional Safety - Part 8: Supporting Processes. ICS 43.040.10 (2009)"},{"issue":"6","key":"3_CR7","first-page":"107","volume":"53","author":"G. Klein","year":"2010","unstructured":"Klein, G., Andronick, J., Elphinstone, K., Heiser, G., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: seL4: Formal Verification of an Operating-System Kernel. Commun.\u00a0ACM\u00a053(6), 107\u2013115 (2010)","journal-title":"Commun.\u00a0ACM"},{"key":"3_CR8","unstructured":"Kroening, D., Strichman, O.: Decision Procedures. Springer (2008)"},{"issue":"7","key":"3_CR9","first-page":"107","volume":"52","author":"X. Leroy","year":"2009","unstructured":"Leroy, X.: Formal Verification of a Realistic Compiler. Commun.\u00a0ACM\u00a052(7), 107\u2013115 (2009)","journal-title":"Commun.\u00a0ACM"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"L\u00f6ding, H., Peleska, J.: Timed Moore Automata: Test Data Generation and Model Checking. In: ICST, pp. 449\u2013458. IEEE Computer Society (2010)","DOI":"10.1109\/ICST.2010.60"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Myreen, M.O.: Verified Just-in-Time Compiler on x86. In: POPL, pp. 107\u2013118. ACM (2010)","DOI":"10.1145\/1707801.1706313"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-642-20398-5_22","volume-title":"NASA Formal Methods","author":"J. Peleska","year":"2011","unstructured":"Peleska, J., Vorobev, E., Lapschies, F.: Automated Test Case Generation with SMT-Solving and Abstract Interpretation. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol.\u00a06617, pp. 298\u2013312. Springer, Heidelberg (2011)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1798","DOI":"10.1007\/3-540-48118-4_45","volume-title":"FM\u201999 - Formal Methods","author":"F. Randimbivololona","year":"1999","unstructured":"Randimbivololona, F., Souyris, J., Baudin, P., Pacalet, A., Raguideau, J., Schoen, D.: Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1798\u20131815. Springer, Heidelberg (1999)"},{"key":"3_CR14","unstructured":"Regehr, J.: The Future of Compiler Correctness (2010), http:\/\/blog.regehr.org\/archives\/249"},{"key":"3_CR15","unstructured":"RTCA SC-167\/EUROCAE WG-12. Software Considerations in Airborne Systems and Equipment Certification. Number RTCA\/DO-178B. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036 (December 1992)"},{"key":"3_CR16","unstructured":"RTCA SC-205\/EUROCAE WG-71. Software Considerations in Airborne Systems and Equipment Certification. Number RTCA\/DO-178C. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036 (December 2011)"},{"key":"3_CR17","unstructured":"RTCA SC-205\/EUROCAE WG-71. Software Tool Qualification Considerations. Number RTCA\/DO-330. RTCA, Inc. (December 2011)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1007\/978-3-642-05089-3_34","volume-title":"FM 2009: Formal Methods","author":"J. Souyris","year":"2009","unstructured":"Souyris, J., Wiels, V., Delmas, D., Delseny, H.: Formal Verification of Avionics Software Products. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 532\u2013546. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34691-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T21:19:18Z","timestamp":1745183958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34691-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346903","9783642346910"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34691-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}