{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:07:09Z","timestamp":1742396829907},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152962"},{"type":"electronic","value":"9783642152979"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15297-9_19","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T08:11:13Z","timestamp":1283760673000},"page":"243-255","source":"Crossref","is-referenced-by-count":12,"title":["A Conformance Testing Relation for Symbolic Timed Automata"],"prefix":"10.1007","author":[{"given":"Sabrina","family":"von Styp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Bohnenkamp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Schmaltz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"19_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. TCS\u00a0126(2), 183\u2013235 (1994)","journal-title":"TCS"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/978-3-642-12002-2_21","volume-title":"TACAS 2010","author":"A. Belinfante","year":"2010","unstructured":"Belinfante, A.: JTorX: A tool for on-line model-driven test derivation and execution. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 266\u2013270. Springer, Heidelberg (2010)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L.M.G., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: IWTCS, pp. 179\u2013196 (1999)","DOI":"10.1007\/978-0-387-35567-2_12"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/11526841_13","volume-title":"FM 2005: Formal Methods","author":"H. Bohnenkamp","year":"2005","unstructured":"Bohnenkamp, H., Belinfante, A.: Timed testing with TorX. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 173\u2013188. Springer, Heidelberg (2005)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Brand\u00e1n Briones, L., Brinksma, H.: A test generation framework for quiescent real-time systems. In: Grabowski, Nielsen (eds.) [10], pp. 64\u201378","DOI":"10.1007\/978-3-540-31848-4_5"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/3-540-46002-0_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., J\u00e9ron, T., Rusu, V., Zinovieva, E.: STG: a symbolic test generation tool. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, p. 470. Springer, Heidelberg (2002)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-642-01364-5_9","volume-title":"WS-FM 2008","author":"L. Frantzen","year":"2009","unstructured":"Frantzen, L., Huerta, M.N., Kiss, Z.G., Wallet, T.: On-The-Fly Model-Based Testing of Web Services with Jambition. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol.\u00a05387, pp. 143\u2013157. Springer, Heidelberg (2009)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test generation based on symbolic specifications. In: Grabowski, Nielsen (eds.) [10], pp. 1\u201315","DOI":"10.1007\/978-3-540-31848-4_1"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11940197_3","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"L. Frantzen","year":"2006","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 40\u201354. Springer, Heidelberg (2006)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Approaches to Software Testing","year":"2005","unstructured":"Grabowski, J., Nielsen, B. (eds.): FATES 2004. LNCS, vol.\u00a03395. Springer, Heidelberg (2005)"},{"issue":"4","key":"19_CR11","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/1013886.1007529","volume":"29","author":"A. Hartman","year":"2004","unstructured":"Hartman, A., Nagin, K.: The AGEDIS tools for model based testing. SIGSOFT Softw. Eng. Notes\u00a029(4), 129\u2013132 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"2","key":"19_CR12","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. and Comp.\u00a0111(2), 193\u2013244 (1994)","journal-title":"Inf. and Comp."},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78917-8_3","volume-title":"Formal Methods and Testing","author":"A. Hessel","year":"2008","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST 2000. LNCS, vol.\u00a04949, pp. 77\u2013117. Springer, Heidelberg (2008)"},{"issue":"4","key":"19_CR14","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C. Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. J. STTS\u00a07(4), 297\u2013315 (2005)","journal-title":"J. STTS"},{"key":"19_CR15","unstructured":"J\u00e9ron, T.: Symbolic model-based test selection. In: Machado, P., Andrade, A., Duran, A. (eds.) SBMF 2008, pp. 17\u201332 (2008)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","volume-title":"Model Checking Software","author":"M. Krichen","year":"2004","unstructured":"Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 109\u2013126. Springer, Heidelberg (2004)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-85778-5_18","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J. Schmaltz","year":"2008","unstructured":"Schmaltz, J., Tretmans, J.: On conformance testing for timed systems. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol.\u00a05215, pp. 249\u2013263. Springer, Heidelberg (2008)"},{"key":"19_CR18","unstructured":"STSimulator homepage, http:\/\/www.cs.ru.nl\/~lf\/tools\/stsimulator\/"},{"issue":"3","key":"19_CR19","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":"19_CR20","unstructured":"von Styp-Rekowski, S.: Towards a testing theory for timed symbolic systems. Diplomarbeit, RWTH Aachen University (November 2009), http:\/\/moves.rwth-aachen.de\/dl\/vstyp\/styp_da.pdf"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"Integrated Formal Methods","author":"V. Rusu","year":"2000","unstructured":"Rusu, V., du Bousquet, L., J\u00e9ron, T.: An approach to symbolic test generation. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 338\u2013357. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15297-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T22:13:24Z","timestamp":1559600004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15297-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152962","9783642152979"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15297-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}