{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:57Z","timestamp":1772532957900,"version":"3.50.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319212142","type":"print"},{"value":"9783319212159","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21215-9_1","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T13:36:34Z","timestamp":1437053794000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Scalable Incremental Test-case Generation from Large Behavior Models"],"prefix":"10.1007","author":[{"given":"Bernhard K.","family":"Aichernig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dejan","family":"Ni\u010dkovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Tiran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"issue":"8","key":"1_CR1","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1002\/stvr.1522","volume":"25","author":"Bernhard K. Aichernig","year":"2014","unstructured":"Aichernig, B.K., Brandl, H., J\u00f6bstl, E., Krenn, W., Schlick, R., Tiran, S.: Killing strategies for model-based mutation testing. Software Testing, Verification and Reliability (Early view) (2014)","journal-title":"Software Testing, Verification and Reliability"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-38916-0_1","volume-title":"Tests and Proofs","author":"BK Aichernig","year":"2013","unstructured":"Aichernig, B.K., J\u00f6bstl, E., Kegele, M.: Incremental refinement checking for test case generation. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 1\u201319. Springer, Heidelberg (2013)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-319-19458-5_8","volume-title":"Formal Methods for Industrial Critical Systems","author":"BK Aichernig","year":"2015","unstructured":"Aichernig, B.K., H\u00f6rmaier, K., Lorber, F., Ni\u010dkovi\u0107, D., Tiran, S.: Require, test and trace IT. In: N\u00fa\u00f1ez, M., G\u00fcdemann, M. (eds.) Formal Methods for Industrial Critical Systems. LNCS, vol. 9128, pp. 113\u2013127. Springer, Heidelberg (2015)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Lorber, F., Tiran, S.: Formal test-driven development with verified test cases. In: MODELSWARD 2014, pp. 626\u2013635. SCITEPRESS, Lisbon (January 2014)","DOI":"10.5220\/0004874406260635"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.scico.2014.02.007","volume":"94","author":"Paolo Arcaini","year":"2014","unstructured":"Arcaini, P., Gargantini, A.: Test generation for sequential nets of abstract state machines with information passing. Science of Computer Programming 94, Part 2(0), 93\u2013108 (2014)","journal-title":"Science of Computer Programming"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/978-3-319-09099-3_3","volume-title":"Tests and Proofs","author":"P Arcaini","year":"2014","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: An abstraction technique for testing decomposable systems by model checking. In: Seidl, M., Tillmann, N. (eds.) TAP 2014. LNCS, vol. 8570, pp. 36\u201352. Springer, Heidelberg (2014)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-49213-5_4","volume-title":"Compositionality: The Significant Difference","author":"S Berezin","year":"1998","unstructured":"Berezin, S., Campos, S., Clarke, E.M.: Compositional reasoning in model checking. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 81\u2013102. Springer, Heidelberg (1998)"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/978-0-387-35381-4_17","volume-title":"Testing of Communicating Systems","author":"C. Bourhfir","year":"1998","unstructured":"Bourhfir, C., Dssouli, R., Aboulhamid, E., Rico, N.: A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols. In: Testing of Communicating Systems. IFIP, vol. 3, pp. 279\u2013294. Springer, Heidelberg (1998)"},{"key":"1_CR9","unstructured":"Choi, Y., Heimdahl, M.P.E.: Model checking RSML-e requirements. In: HASE, pp. 109\u2013118. IEEE Computer Society (2002)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/10722167_15","volume-title":"Computer Aided Verification","author":"E Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 154\u2013169. Springer, Heidelberg (2000)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Daca, P., Henzinger, T.A., Krenn, W., Ni\u010dkovi\u0107, D.: Compositional specifications for ioco testing. Technical Report IST-2014-148-v2+1, IST Austria (2014). http:\/\/repository.ist.ac.at\/152\/1\/main_tr.pdf (visited on: March 27, 2014)","DOI":"10.1109\/ICST.2014.50"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/11754008_16","volume-title":"Testing of Communicating Systems","author":"K El-Fakih","year":"2006","unstructured":"El-Fakih, K., Petrenko, A., Yevtushenko, N.: FSM test translation through context. In: Uyar, M.U., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 245\u2013258. Springer, Heidelberg (2006)"},{"key":"1_CR14","unstructured":"Fraser, G., Wotawa, F.: Creating test-cases incrementally with model-checkers. In: GI Jahrestagung (2). LNI, vol. 110, pp. 381\u2013386. GI (2007)"},{"issue":"4","key":"1_CR15","first-page":"1","volume":"8","author":"Heon-Mo Koo","year":"2009","unstructured":"Koo, H.-M., Mishra, P.: Functional test generation using design and property decomposition techniques. ACM Trans. Embed. Comput. Syst. 8(4), 32:1\u201332:33 (2009)","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-40229-6_11","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"W Krenn","year":"2013","unstructured":"Krenn, W., Ni\u010dkovi\u0107, D., Tec, L.: Incremental language inclusion checking for networks of timed automata. In: Braberman, V., Fribourg, L. (eds.) FORMATS 2013. LNCS, vol. 8053, pp. 152\u2013167. Springer, Heidelberg (2013)"},{"key":"1_CR17","first-page":"122","volume":"2010","author":"C Schwarzl","year":"2010","unstructured":"Schwarzl, C., Peischl, B.: Test sequence generation from communicating UML state charts: An industrial application of symbolic transition systems. QSIC 2010, 122\u2013131 (2010)","journal-title":"QSIC"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M van der Bijl","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 86\u2013100. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21215-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T08:41:53Z","timestamp":1748508113000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21215-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319212142","9783319212159"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21215-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}