{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T04:21:42Z","timestamp":1748406102604,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194578"},{"type":"electronic","value":"9783319194585"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19458-5_8","type":"book-chapter","created":{"date-parts":[[2015,5,11]],"date-time":"2015-05-11T11:41:14Z","timestamp":1431344474000},"page":"113-127","source":"Crossref","is-referenced-by-count":2,"title":["Require, Test and Trace IT"],"prefix":"10.1007","author":[{"given":"Bernhard K.","family":"Aichernig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"H\u00f6rmaier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Lorber","sequence":"additional","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","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-09099-3_1","volume-title":"Tests and Proofs","author":"B.K. Aichernig","year":"2014","unstructured":"Aichernig, B.K., Auer, J., J\u00f6bstl, E., Koro\u0161ec, R., Krenn, W., Schlick, R., Schmidt, B.V.: Model-based mutation testing of an industrial measurement device. In: Seidl, M., Tillmann, N. (eds.) TAP 2014. LNCS, vol.\u00a08570, pp. 1\u201319. Springer, Heidelberg (2014)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Bernhard, K.A., H\u00f6rmaier, K., Lorber, F., Ni\u010dkovi\u0107, D., Schlick, R., Simoneau, D., Tiran, S.: Integration of Requirements Engineering and Test-Case Generation via OSLC. In: QSIC, pp. 117\u2013126 (2014)","DOI":"10.1109\/QSIC.2014.13"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-38916-0_2","volume-title":"Tests and Proofs","author":"B.K. Aichernig","year":"2013","unstructured":"Aichernig, B.K., Lorber, F., Ni\u010dkovi\u0107, D.: Time for mutants \u2014 model-based mutation testing with timed automata. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol.\u00a07942, pp. 20\u201338. Springer, Heidelberg (2013)"},{"key":"8_CR4","unstructured":"Aichernig, B.K., Lorber, F., Ni\u010dkovi\u0107, D., Tiran, S.: Require, test and trace it. Technical Report IST-MBT-2014-03, Graz University of Technology, Institute for Software Technology (2014), https:\/\/online.tugraz.at\/tug_online\/voe_main2.getVollText?pDocumentNr=637834&pCurrPk=77579"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.tcs.2011.12.072","volume":"455","author":"M. Aiguier","year":"2012","unstructured":"Aiguier, M., Boulanger, F., Kanso, B.: A formal abstract framework for modelling and testing complex software systems. Theor. Comput. Sci.\u00a0455, 66\u201397 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","volume-title":"Formal Methods for Components and Objects","author":"A. Benveniste","year":"2008","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 200\u2013225. Springer, Heidelberg (2008)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-58043-3_16","volume-title":"A Decade of Concurrency","author":"A. Benveniste","year":"1994","unstructured":"Benveniste, A., Caspi, P., Le Guernic, P., Halbwachs, N.: Data-flow synchronous languages. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 1\u201345. Springer, Heidelberg (1994)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: Lustre: A declarative language for programming synchronous systems. In: POPL, pp. 178\u2013188. ACM Press (1987)","DOI":"10.1145\/41625.41641"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-45657-0_34","volume-title":"Computer Aided Verification","author":"A. Chakrabarti","year":"2002","unstructured":"Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: Synchronous and bidirectional component interfaces. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 414\u2013427. Springer, Heidelberg (2002)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Daca, P., Henzinger, T.A., Krenn, W., Ni\u010dkovi\u0107, D.: Compositional specifications for ioco testing: Technical report. Technical report, IST Austria (2014), http:\/\/repository.ist.ac.at\/152\/","DOI":"10.1109\/ICST.2014.50"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Doyen, L., Henzinger, T.A., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: EMSOFT, pp. 79\u201388. ACM (2008)","DOI":"10.1145\/1450058.1450070"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-319-10702-8_11","volume-title":"Formal Methods for Industrial Critical Systems","author":"C. Ellen","year":"2014","unstructured":"Ellen, C., Sieverding, S., Hungar, H.: Detecting consistencies and inconsistencies of pattern-based functional requirements. In: Lang, F., Flammini, F. (eds.) FMICS 2014. LNCS, vol.\u00a08718, pp. 155\u2013169. Springer, Heidelberg (2014)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-18317-5_15","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Gautier","year":"1987","unstructured":"Gautier, T., Le Guernic, P.: Signal: A declarative language for synchronous programming of real-time systems. In: Kahn, G. (ed.) FPCA 1987. LNCS, vol.\u00a0274, pp. 257\u2013277. Springer, Heidelberg (1987)"},{"key":"8_CR14","unstructured":"Hamon, G., De Moura, L., Rushby, J.: Automated test generation with sal. CSL Technical Note (2005)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-34059-8_20","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"T.A. Henzinger","year":"2012","unstructured":"Henzinger, T.A., Ni\u010dkovi\u0107, D.: Independent implementability of viewpoints. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol.\u00a07539, pp. 380\u2013395. Springer, Heidelberg (2012)"},{"key":"8_CR16","unstructured":"ISO. ISO\/DIS 26262-1 - Road vehicles - Functional safety - Part 1 Glossary. Technical report, International Organization for Standardization \/ Technical Committee 22 (ISO\/TC 22), Geneva, Switzerland (July 2009)"},{"key":"8_CR17","unstructured":"Junker, U.: Quickxplain: Preferred explanations and relaxations for over-constrained problems. In: AAAI, pp. 167\u2013172. AAAI Press (2004)"},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/s10703-009-0065-1","volume":"34","author":"M. Krichen","year":"2009","unstructured":"Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Formal Methods in System Design\u00a034(3), 238\u2013304 (2009)","journal-title":"Formal Methods in System Design"},{"key":"8_CR19","first-page":"517","volume-title":"ASE","author":"V. Papailiopoulou","year":"2008","unstructured":"Papailiopoulou, V.: Automatic test generation for lustre\/scade programs. In: ASE, pp. 517\u2013520. IEEE Computer Society, Washington, DC (2008)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Raymond, P., Nicollin, X., Halbwachs, N., Weber, D.: Automatic testing of reactive systems. In: RTSS, pp. 200\u2013209. IEEE Computer Society (1998)","DOI":"10.1109\/REAL.1998.739746"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Reineke, J., Tripakis, S.: Basic problems in multi-view modeling. Technical Report UCB\/EECS-2014-4, EECS Department, University of California, Berkeley (January 2014)","DOI":"10.1007\/978-3-642-54862-8_15"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-10373-5_2","volume-title":"Formal Methods and Software Engineering","author":"A. Sampaio","year":"2009","unstructured":"Sampaio, A., Nogueira, S., Mota, A.: Compositional verification of input-output conformance via csp refinement checking. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 20\u201348. Springer, Heidelberg (2009)"},{"key":"8_CR23","unstructured":"Michael Spivey, J.: Z Notation - a reference manual, 2nd edn. Prentice Hall International Series in Computer Science. Prentice Hall (1992)"},{"issue":"3","key":"8_CR24","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts and Tools"},{"key":"8_CR25","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.\u00a02931, pp. 86\u2013100. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19458-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T22:49:18Z","timestamp":1748386158000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19458-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194578","9783319194585"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19458-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}