{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T17:04:28Z","timestamp":1742403868413},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540251095"},{"type":"electronic","value":"9783540318484"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31848-4_6","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T15:24:53Z","timestamp":1278343493000},"page":"79-94","source":"Crossref","is-referenced-by-count":79,"title":["Online Testing of Real-time Systems Using Uppaal"],"prefix":"10.1007","author":[{"given":"Kim G.","family":"Larsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Mikucionis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Henzinger","year":"1994","unstructured":"Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Information and Computation\u00a0111(2), 193\u2013244 (1994)","journal-title":"Information and Computation"},{"issue":"2","key":"6_CR2","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. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-45739-9_1","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"G. Behrmann","year":"2002","unstructured":"Behrmann, G., Bengtsson, J., David, A., Larsen, K.G., Pettersson, P., Yi, W.: Uppaal implementation secrets. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 3\u201322. Springer, Heidelberg (2002)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: 12th Int. Workshop on Testing of Communicating Systems, pp. 179\u2013196 (1999)","DOI":"10.1007\/978-0-387-35567-2_12"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Approaches to Testing of Software","author":"J. Blom","year":"2004","unstructured":"Blom, J., Hessel, A., Jonsson, B., Pettersson, P.: Specifying and generating test cases using observer automata. In: Formal Approaches to Testing of Software, Linz, Austria, September 21. LNCS. Springer, Heidelberg (2004)"},{"key":"6_CR6","unstructured":"Braberman, V., Felder, M., Marr\u00e9, M.: Testing Timing Behaviors of Real Time Software. In: Quality Week 1997, San Francisco, USA, April-May 1997, pp. 143\u2013155 (1997)"},{"key":"6_CR7","unstructured":"Brinksma, E., Larsen, K.G., Nielsen, B., Tretmans, J.: Systematic Testing of Realtime Embedded Software Systems (STRESS), Research proposal submitted and accepted by the Dutch Research Council (March 2002)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Approaches to Testing of Software","author":"L.B. Briones","year":"2004","unstructured":"Briones, L.B., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Formal Approaches to Testing of Software, Linz, Austria, September 21. LNCS. Springer, Heidelberg (2004)"},{"issue":"5","key":"6_CR9","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/s001650070009","volume":"12","author":"R. Cardell-Oliver","year":"2000","unstructured":"Cardell-Oliver, R.: Conformance Testing of Real-Time Systems with Timed Automata. Formal Aspects of Computing\u00a012(5), 350\u2013371 (2000)","journal-title":"Formal Aspects of Computing"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01211314","volume":"5","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Hennessy, M.: Testing Equivalence as a Bisimulation Equivalence. Formal Aspects of Computing\u00a05, 1\u201320 (1993)","journal-title":"Formal Aspects of Computing"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.: Timed Test Cases Generation Based on State Characterization Technique. In: 19th IEEE Real-Time Systems Symposium (RTSS 1998), December 2-4, pp. 220\u2013229 (1998)","DOI":"10.1109\/REAL.1998.739748"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Approaches to Testing of Software","author":"L. Frantzen","year":"2004","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.: Test generation based on symbolic specifications. In: Formal Approaches to Testing of Software, Linz, Austria, September 21. LNCS. Springer, Heidelberg (2004)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-24617-6_9","volume-title":"Formal Approaches to Software Testing","author":"A. Hessel","year":"2004","unstructured":"Hessel, A., Larsen, K.G., Nielsen, B., Pettersson, P., Skou, A.: Time-Optimal Test Cases for Real-Time Systems. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 114\u2013130. Springer, Heidelberg (2004)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.R.: Generating test cases for a timed i\/o automaton model. In: IFIP Int\u2019l Work. Test. Communicat. Syst., pp. 197\u2013214 (1999)","DOI":"10.1007\/978-0-387-35567-2_13"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-46002-0_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H.S. Hong","year":"2002","unstructured":"Hong, H.S., Lee, I., Sokolsky, O., Ural, H.: A temporal logic based theory of test coverage and generation. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 327\u2013341. Springer, Heidelberg (2002)"},{"key":"6_CR16","first-page":"198","volume-title":"18th IEEE Symposium on Logic in Computer Science (LICS 2003)","author":"J. Ouaknine","year":"2003","unstructured":"Ouaknine, J., Worrell, J.: Revisiting digitization, robustness, and decidability for timed automata. In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), Ottawa, Canada, June 2003, pp. 198\u2013207. IEEE Computer Society, Los Alamitos (2003)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Computer Aided Verification","author":"T. J\u00e9ron","year":"1999","unstructured":"J\u00e9ron, T., Morel, P.: Test generation derived from model-checking. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 108\u2013121. Springer, Heidelberg (1999)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-24617-6_10","volume-title":"Formal Approaches to Software Testing","author":"A. Khoumsi","year":"2004","unstructured":"Khoumsi, A., J\u00e9ron, T., Marchand, H.: Test cases generation for nondeterministic real-time systems. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 131\u2013146. Springer, Heidelberg (2004)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0304-3975(87)90007-7","volume":"49","author":"K.G. Larsen","year":"1987","unstructured":"Larsen, K.G.: A Context Dependent Equivalence Between Processes. Theoretical Computer Science\u00a049, 185\u2013215 (1987)","journal-title":"Theoretical Computer Science"},{"key":"6_CR20","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)"},{"issue":"4","key":"6_CR21","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/210223.210226","volume":"13","author":"D. Mandrioli","year":"1995","unstructured":"Mandrioli, D., Morasca, S., Morzenti, A.: Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Transactions on Computer Systems\u00a013(4), 365\u2013398 (1995)","journal-title":"ACM Transactions on Computer Systems"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Mikucionis, M., Larsen, K.G., Nielsen, B.: Online on-the-fly testing of real-time systems. Technical Report RS-03-49, Basic Researc. In: Computer Science (BRICS) (December 2003)","DOI":"10.7146\/brics.v10i49.21821"},{"key":"#cr-split#-6_CR23.1","unstructured":"Mikucionis, M., Nielsen, B., Larsen, K.G.: Real-time system testing on-the-fly. In: The 15th Nordic Workshop on Programming Theory, Turku, Finland, October 29-31, 2003, vol.\u00a034(B), pp. 36\u201338 (2003);"},{"key":"#cr-split#-6_CR23.2","unstructured":"\u00c5bo Akademi, Department of Computer Science, Finland (Abstracts)"},{"key":"6_CR24","unstructured":"Mikucionis, M., Sasnauskaite, E.: On-the-fly testing using UppAal. Master\u2019s thesis, Department of Computer Science, Aalborg University, Denmark (June 2003)"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-45319-9_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Nielsen","year":"2001","unstructured":"Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 343\u2013357. Springer, Heidelberg (2001)"},{"key":"6_CR26","unstructured":"Peleska, J., Amthor, P., Dick, S., Meyer, O., Siegel, M., Zahlten, C.: Testing Reactive Real-Time Systems. In: Material for the School \u2013 5th International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1998), Lyngby, Denmark (1998)"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-45739-9_14","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"S. Tripakis","year":"2002","unstructured":"Tripakis, S.: Fault Diagnosis for Timed Automata. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, p. 205. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"6_CR28","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J. Springintveld","year":"2001","unstructured":"Springintveld, J., Vaandrager, F., D\u2019Argenio, P.R.: Testing Timed Automata. Theoretical Computer Science\u00a0254(1-2), 225\u2013257 (2001)","journal-title":"Theoretical Computer Science"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"Automata, Languages and Programming","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: What good are digital clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 545\u2013558. Springer, Heidelberg (1992)"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 46\u201365. Springer, Heidelberg (1999)"},{"key":"6_CR31","unstructured":"Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: EuroSTAR 1999: 7th European Int. Conference on Software Testing, Analysis & Review. EuroStar Conferences, Barcelona, Spain, Galway, Ireland, November 8-12 (1999)"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/BFb0023491","volume-title":"STACS 97","author":"V. Diekert","year":"1997","unstructured":"Diekert, V., Gastin, P., Petit, A.: Removing epsilon-Transitions in Timed Automata. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol.\u00a01200, pp. 583\u2013594. Springer, Heidelberg (1997)"},{"key":"6_CR33","unstructured":"de Vries, R., Tretmans, J., Belinfante, A., Feenstra, J., Feijs, L., Mauw, S., Goga, N., Heerink, L., de Heer, A.: C\u00f4te de resyste in Progress. In: STW\u00a0Technology Foundation (ed.) Progress 2000 \u2013 Workshop on Embedded Systems, Utrecht, The Netherlands, October 2000, pp. 141\u2013148 (2000)"},{"issue":"4","key":"6_CR34","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/s100090050044","volume":"2","author":"R.G. Vries de","year":"2000","unstructured":"de Vries, R.G., Tretmans, J.: On-the-fly conformance testing using Spin. Software Tools for Technology Transfer\u00a02(4), 382\u2013393 (2000)","journal-title":"Software Tools for Technology Transfer"},{"key":"6_CR35","first-page":"223","volume-title":"Proc. of the 7th Int. Conf. on Formal Description Techniques","author":"W. Yi","year":"1994","unstructured":"Yi, W., Pettersson, P., Daniels, M.: Automatic Verification of Real-Time Communicating Systems By Constraint-Solving. In: Hogrefe, D., Leue, S. (eds.) Proc. of the 7th Int. Conf. on Formal Description Techniques, pp. 223\u2013238. North Holland, Amsterdam (1994)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31848-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:17:38Z","timestamp":1559229458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31848-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540251095","9783540318484"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31848-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}