{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:54:46Z","timestamp":1725803686481},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105567"},{"type":"electronic","value":"9783319105574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10557-4_12","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T12:12:24Z","timestamp":1409141544000},"page":"84-96","source":"Crossref","is-referenced-by-count":0,"title":["True Error or False Alarm? Refining Astr\u00e9e\u2019s Abstract Interpretation Results by Embedded Tester\u2019s Automatic Model-Based Testing"],"prefix":"10.1007","author":[{"given":"Sayali","family":"Salvi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"K\u00e4stner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Bienm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Ferdinand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"AbsInt GmbH. aiT Worst-Case Execution Time Analyzer Website, \n                    \n                      http:\/\/www.AbsInt.com\/ait"},{"key":"12_CR2","unstructured":"AbsInt GmbH. StackAnalyzer Website, \n                    \n                      http:\/\/www.AbsInt.com\/sa\n                    \n                    \n                  ."},{"key":"12_CR3","unstructured":"AbsInt GmbH. Astr\u00e9e Website, \n                    \n                      http:\/\/www.AbsInt.com\/astree\n                    \n                    \n                  ."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Rival, X.: Static analysis and verification of aerospace software by abstract interpretation. In: AIAA Infotech@Aerospace 2010, number AIAA-2010-3385, pp. 1\u201338. American Institue of Aeronautics and Astronautics (April 2010)","DOI":"10.2514\/6.2010-3385"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A Static Analyzer for Large Safety-Critical Software. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), San Diego, California, USA, June 7-14, pp. 196\u2013207. ACM Press (2003)","DOI":"10.1145\/781151.781153"},{"key":"12_CR7","unstructured":"BTC Embedded Systems AG. BTC BTC EmbeddedTester\n                  \u00ae Website, \n                    \n                      http:\/\/www.btc-es.de\/index.php?idcatside=2\n                    \n                    \n                  ."},{"key":"12_CR8","first-page":"238","volume-title":"POPL 1977: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"12_CR9","unstructured":"dSPACE GmbH. TargetLink Website, \n                    \n                      http:\/\/www.dSPACE.com\/go\/TargetLink"},{"key":"12_CR10","unstructured":"Esterel Technologies. SCADE Suite, \n                    \n                      http:\/\/www.esterel-technologies.com\/products\/scade-suite"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Ferdinand, C., Heckmann, R.: Static Memory and Execution Time Analysis of Embedded Code. SAE 2006 Transactions Journal of Passenger Cars - Electronic and Electrical Systems\u00a09 (2007)","DOI":"10.4271\/2006-01-1499"},{"key":"12_CR12","unstructured":"ISO\/IEC 9899:1999 (E). Programming languages \u2013 C (1999)"},{"key":"12_CR13","unstructured":"K\u00e4stner, D., Brockmeyer, U., Pister, M., Nenova, S., Bienm\u00fcller, T., Dereani, A., Ferdinand, C.: Combining Model-based Analysis and Testing. In: Embedded Real Time Software and Systems Congress ERTS2 (2014)"},{"key":"12_CR14","series-title":"LNCS","first-page":"203","volume-title":"SAFECOMP 2014","author":"D. K\u00e4stner","year":"2014","unstructured":"K\u00e4stner, D., Ferdinand, C.: Proving the Absence of Stack Overflows. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol.\u00a08666, pp. 203\u2013214. Springer, Heidelberg (2014)"},{"key":"12_CR15","unstructured":"K\u00e4stner, D., Wilhelm, S., Nenova, S., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Rival, X.: Astr\u00e9e: Proving the Absence of Runtime Errors. In: Embedded Real Time Software and Systems Congress ERTS2 (2010)"},{"key":"12_CR16","unstructured":"Souyris, J., Pavec, E.L., Himbert, G., J\u00e9gu, V., Borios, G., Heckmann, R.: Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation. In: Proceedings of the 5th International Workshop on Worst-case Execution Time (WCET 2005), Mallorca, Spain, pp. 21\u201324 (2005)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10557-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:00:01Z","timestamp":1558980001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10557-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105567","9783319105574"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10557-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}