{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:28:09Z","timestamp":1725805689904},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452301"},{"type":"electronic","value":"9783662452318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45231-8_37","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T11:42:39Z","timestamp":1411731759000},"page":"479-481","source":"Crossref","is-referenced-by-count":0,"title":["Evaluation and Reproducibility of Program Analysis (Track Introduction)"],"prefix":"10.1007","author":[{"given":"Markus","family":"Schordan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Welf","family":"L\u00f6we","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Beyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-642-54862-8_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Beyer","year":"2014","unstructured":"Beyer, D.: Status report on software verification (competition summary SV-COMP 2014). In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol.\u00a08413, pp. 373\u2013388. Springer, Heidelberg (2014)"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"Beyer, D., Henzinger, T.A., Keremoglu, M.E., Wendler, P.: Conditional model checking: A technique to pass information between verifiers. In: Bultan, T., Robillard, M. (eds.) Proc. FSE. ACM (2012)","DOI":"10.1145\/2393596.2393664"},{"key":"37_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/978-3-662-45231-8_39","volume-title":"ISoLA 2014, Part II","author":"G. Chatzieleftheriou","year":"2014","unstructured":"Chatzieleftheriou, G., Chatzopoulos, A., Katsaros, P.: Test-driving static analysis tools in search of C code vulnerabilities II (Extended abstract). In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 486\u2013488. Springer, Heidelberg (2014)"},{"key":"37_CR4","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-14684-8_15","volume-title":"Finite-State Methods and Natural Language Processing","author":"D. Combe","year":"2010","unstructured":"Combe, D., de la Higuera, C., Janodet, J.-C.: Zulu: An interactive learning competition. In: Yli-Jyr\u00e4, A., Kornai, A., Sakarovitch, J., Watson, B. (eds.) FSMNLP 2009. LNCS (LNAI), vol.\u00a06062, pp. 139\u2013146. Springer, Heidelberg (2010)"},{"key":"37_CR5","unstructured":"Gustafsson, J., Ermedahl, A., Lisper, B., Sandberg, C., K\u00e4llberg, L.: Alf: A language for WCET flow analysis. In: OASIcs-OpenAccess Series in Informatics, vol.\u00a010. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik (2009)"},{"key":"37_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1007\/978-3-642-34026-0_45","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"F. Howar","year":"2012","unstructured":"Howar, F., Isberner, M., Merten, M., Steffen, B., Beyer, D.: The RERS Grey-Box Challenge 2012: Analysis of event-condition-action systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 608\u2013614. Springer, Heidelberg (2012)"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Howar, F., Isberner, M., Merten, M., Steffen, B., Beyer, D., Pasareanu, C.S.: Rigorous Examination of Reactive Systems. The RERS Challenges 2012 and 2013. In: Software Tools for Technology Transfer (2014)","DOI":"10.1007\/s10009-014-0337-y"},{"key":"37_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1007\/978-3-662-45231-8_38","volume-title":"ISoLA 2014, Part II","author":"B. Lisper","year":"2014","unstructured":"Lisper, B.: SWEET \u2013 A tool for WCET flow analysis (Extended abstract). In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 482\u2013485. Springer, Heidelberg (2014)"},{"key":"37_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/978-3-662-45231-8_42","volume-title":"ISoLA 2014, Part II","author":"J. Quaresma","year":"2014","unstructured":"Quaresma, J., Probst, C.W., Nielson, F.: The Guided System Development Framework: Modeling and verifying communication systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 509\u2013523. Springer, Heidelberg (2014)"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/978-3-662-45231-8_40","volume-title":"ISoLA 2014, Part II","author":"X. Rival","year":"2014","unstructured":"Rival, X., Toubhans, A., Chang, B.-Y.E.: Construction of abstract domains for heterogeneous properties (Position paper). In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 489\u2013492. Springer, Heidelberg (2014)"},{"key":"37_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/978-3-662-45231-8_41","volume-title":"ISoLA 2014, Part II","author":"M. Schordan","year":"2014","unstructured":"Schordan, M., Lin, P.-H., Quinlan, D., Pouchet, L.-N.: Verification of polyhedral optimizations with constant loop bounds in finite state space computations. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 493\u2013508. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45231-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:01:25Z","timestamp":1558987285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45231-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452301","9783662452318"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45231-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}