{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T14:05:53Z","timestamp":1771509953267,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":64,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540789161","type":"print"},{"value":"9783540789178","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78917-8_3","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T07:38:34Z","timestamp":1207985914000},"page":"77-117","source":"Crossref","is-referenced-by-count":122,"title":["Testing Real-Time Systems Using UPPAAL"],"prefix":"10.1007","author":[{"given":"Anders","family":"Hessel","sequence":"first","affiliation":[]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Mikucionis","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[]},{"given":"Arne","family":"Skou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"3_CR1","doi-asserted-by":"publisher","first-page":"1604","DOI":"10.1109\/26.111442","volume":"39","author":"A.V. Aho","year":"1991","unstructured":"Aho, A.V., Dahbura, A.T., Lee, D., Uyar, M.\u00dc.: An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours. IEEE Transactions on Communications\u00a039(11), 1604\u20131615 (1991)","journal-title":"IEEE Transactions on Communications"},{"issue":"2","key":"3_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":"3_CR3","first-page":"414","volume-title":"Proc. of Logic in Computer Science","author":"R. Alur","year":"1990","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking for Real-Time Systems. In: Proc. of Logic in Computer Science, Jun 1990, pp. 414\u2013425. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"3_CR4","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":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45319-9_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Behrmann","year":"2001","unstructured":"Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Pettersson, P., Romijn, J.: Efficient Guiding Towards Cost-Optimality in UPPAAL. In: Margaria, T., Yi, W. (eds.) ETAPS 2001 and TACAS 2001. LNCS, vol.\u00a02031, pp. 174\u2013188. Springer, Heidelberg (2001)"},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-0-387-35567-2_12","volume-title":"12th Int. Workshop on Testing of Communicating Systems","author":"A. Belinfante","year":"1999","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: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) 12th Int. Workshop on Testing of Communicating Systems, pp. 179\u2013196. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-3-540-31848-4_9","volume-title":"Formal Approaches to Software Testing","author":"J. Blom","year":"2005","unstructured":"Blom, J., Hessel, A., Jonsson, B., Pettersson, P.: Specifying and generating test cases using observer automata. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 125\u2013139. Springer, Heidelberg (2005)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Blom, J., Jonsson, B.: Automated test generation for industrial erlang applications. In: Proc. 2003 ACM SIGPLAN workshop on Erlang, Uppsala, Sweden, pp. 8\u201314 (August 2003)","DOI":"10.1145\/940880.940882"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"778","DOI":"10.1007\/978-3-540-45236-2_42","volume-title":"FME 2003: Formal Methods","author":"F. Bouquet","year":"2003","unstructured":"Bouquet, F., Legeard, B.: Reification of executable test scripts in formal specification-based test generation: The java card transaction mechanism case study. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 778\u2013795. Springer, Heidelberg (2003)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science","author":"P. Bouyer","year":"2004","unstructured":"Bouyer, P., Cassez, F., Fleury, E., Larsen, K.G.: Optimal Strategies in Priced Timed Game Autoamata. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol.\u00a03328, Springer, Heidelberg (2004)"},{"key":"3_CR11","unstructured":"Braberman, V., Felder, M., Marr\u00e9, M.: Testing Timing Behaviors of Real Time Software. In: Quality Week 1997, San Francisco, USA, pp. 143\u2013155 (April-May 1997)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Briones, L.B., Brinksma, E.: A Test Generation Framework for Quiescent Real-Time Systems. In: Grabowski, J., Nielsen, B. (eds.) International workshop on Formal Approaches to Testing of Software. Co-located with IEEE Conference on Automates Software Engineering 2004, Linz, Austria, pp. 64\u201378 (September 2004)","DOI":"10.1007\/978-3-540-31848-4_5"},{"issue":"5","key":"3_CR13","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"},{"issue":"5","key":"3_CR14","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J.J. Chilenski","year":"1994","unstructured":"Chilenski, J.J., Miller, S.P.: Applicability of modified condition\/decision coverage to software testing. Software Engineering Journal\u00a09(5), 193\u2013200 (1994)","journal-title":"Software Engineering Journal"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering\u00a04(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Clarke, D., Lee, I.: Testing Real-Time Constraints in a Process Algebraic Setting. In: 17th International Conference on Software Engineering (1995)","DOI":"10.1145\/225014.225019"},{"issue":"11","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/32.41326","volume":"15","author":"L.A. Clarke","year":"1989","unstructured":"Clarke, L.A., Podgurski, A., Richardsson, D.J., Zeil, S.J.: A formal evaluation of data flow path selection criteria. IEEE Trans. on Software Engineering\u00a015(11), 1318\u20131332 (1989)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR18","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":"3_CR19","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Zwarico, A.E.: A Theory of Testing for Real-Time. In: Sixth Annual IEEE Symposium on Logic in Computer Science, pp. 110\u2013119 (1991)","DOI":"10.1109\/LICS.1991.151635"},{"key":"3_CR20","volume-title":"Proc. of 7th Int. Conf. on Formal Description Techniques","author":"C. Daws","year":"1994","unstructured":"Daws, C., Olivero, A., Yovine, S.: Verifying ET-LOTOS programs with Kronos. In: Hogrefe, D., Leue, S. (eds.) Proc. of 7th Int. Conf. on Formal Description Techniques, North-Holland, Amsterdam (1994)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D. Dill","year":"1990","unstructured":"Dill, D.: Timing Assumptions and Verification of Finite-State Concurrent Systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1990)"},{"key":"3_CR22","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\u20134 1998, pp. 220\u2013229 (1998)","DOI":"10.1109\/REAL.1998.739748"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Fernandez, J.-C., Jard, C., J\u00e9ron, T., Viho, C.: An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming\u00a029 (1997)","DOI":"10.1016\/S0167-6423(96)00032-9"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Friedman, G., Hartman, A., Nagin, K., Shiran, T.: Projected state machine coverage for software testing. In: Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 134\u2013143 (2002)","DOI":"10.1145\/566172.566192"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Approaches to Software Testing","author":"M.P.E. Heimdahl","year":"2004","unstructured":"Heimdahl, M.P.E., Rayadurgam, S., Visser, W., Devaraj, G., Gao, J.: Auto-generating Test Sequences Usiong Model Checkers: A Case Study. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, Springer, Heidelberg (2004)"},{"key":"3_CR26","unstructured":"Herman, P.M.: A data flow analysis approach to program testing. Australian Computer J.\u00a08(3) (November 1976)"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/b100227","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 Real-Time Test Case Generation using UPPAAL. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 136\u2013151. Springer, Heidelberg (2004)"},{"key":"3_CR28","first-page":"268","volume-title":"Proc. of 4th Int. Conf. on Quality Software","author":"A. Hessel","year":"2004","unstructured":"Hessel, A., Pettersson, P.: A test generation algorithm for real-time systems. In: Ehrich, H.-D., Schewe, K.-D. (eds.) Proc. of 4th Int. Conf. on Quality Software, September 2004, pp. 268\u2013273. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70952-7_8","volume-title":"Formal Methods: Applications and Technology","author":"A. Hessel","year":"2007","unstructured":"Hessel, A., Pettersson, P.: Model-Based Testing of a WAP Gateway: an Industrial Study. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol.\u00a04346, Springer, Heidelberg (2007)"},{"key":"3_CR30","series-title":"IFIP Conference Proceedings","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-0-387-35567-2_13","volume-title":"Testing of Communicating Systems: Method and Applications, IFIP TC6 12th International Workshop on Testing Communicating Systems (IWTCS)","author":"T. Higashino","year":"1999","unstructured":"Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.R.: Generating Test Cases for a Timed I\/O Automaton Model. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Testing of Communicating Systems: Method and Applications, IFIP TC6 12th International Workshop on Testing Communicating Systems (IWTCS), Budapest, Hungary, September 1\u20133, 1999. IFIP Conference Proceedings, vol.\u00a0147, pp. 197\u2013214. Kluwer, Dordrecht (1999)"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Hong, H.S., Cha, S.D., Lee, I., Sokolsky, O., Ural, H.: Data flow testing as model checking. In: ICSE 2003: 25th Int. Conf. on Software Enginering, May 2003, pp. 232\u2013242 (2003)","DOI":"10.1109\/ICSE.2003.1201203"},{"key":"3_CR32","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. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, pp. 327\u2013341. Springer, Heidelberg (2002)"},{"key":"3_CR33","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.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, pp. 327\u2013341. Springer, Heidelberg (2002)"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/LICS.2003.1210059","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 Press, Los Alamitos (2003)"},{"key":"3_CR35","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\u2013122. Springer, Heidelberg (1999)"},{"key":"3_CR36","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2004)"},{"key":"3_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44854-3_6","volume-title":"Implementation of Functional Languages","author":"P.W.M. Koopman","year":"2003","unstructured":"Koopman, P.W.M., Alimarine, A., Tretmans, J., Plasmeijer, M.J.: Gast: Generic automated software testing. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 84\u2013100. Springer, Heidelberg (2003)"},{"key":"3_CR38","unstructured":"Larsen, K., Mikucionis, M., Nielsen, B.: Online Testing of Real-time Systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) International workshop on Formal Approaches to Testing of Software. Co-located with IEEE Conference on Automates Software Engineering 2004, Linz, Austria (September 2004)"},{"key":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/3-540-44585-4_47","volume-title":"Computer Aided Verification","author":"K.G. Larsen","year":"2001","unstructured":"Larsen, K.G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P., Romijn, J.: As cheap as possible: Efficient cost-optimal reachability for priced timed automat. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 493\u2013505. Springer, Heidelberg (2001)"},{"key":"3_CR40","series-title":"Lecture Notes in Computer Science","first-page":"575","volume-title":"Proc. of Workshop on Verification and Control of Hybrid Systems III","author":"K.G. Larsen","year":"1995","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Diagnostic Model-Checking for Real-Time Systems. In: Proc. of Workshop on Verification and Control of Hybrid Systems III, October 1995. LNCS, vol.\u00a01066, pp. 575\u2013586. Springer, Heidelberg (1995)"},{"issue":"3","key":"3_CR41","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1109\/TSE.1983.236871","volume":"SE-9","author":"J.W. Laski","year":"1983","unstructured":"Laski, J.W., Korel, B.: A data flow oriented program testing strategy. IEEE Transactions on Software Engineering\u00a0SE-9(3), 347\u2013354 (1983)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR42","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2004)"},{"issue":"4","key":"3_CR43","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":"3_CR44","unstructured":"Mikucionis, M., Larsen, K.G., Nielsen, B., Skou, A.: Testing rea-time embedded software using uppaal-tron \u2014an industrial case study. In: Embedded Software (EMSOFT), New Jersey, USA (September 2005)"},{"key":"3_CR45","volume-title":"The Art of Software Testing","author":"G. Myers","year":"1979","unstructured":"Myers, G.: The Art of Software Testing. Wiley-Interscience, Chichester (1979)"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Conformance Testing Relations for Timed Systems. In: Grieskamp, W., Weise, C. (eds.) International workshop on Formal Approaches to Testing of Software, Co-located with Computer Aided Verification, Edinburgh, Scotland, UK (July 2005)","DOI":"10.1007\/11759744_8"},{"key":"3_CR47","doi-asserted-by":"crossref","unstructured":"Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. In: Tools and Algorithms for the Construction and Analysis of Systems, April 2001, pp. 343\u2013357 (2001)","DOI":"10.1007\/3-540-45319-9_24"},{"key":"3_CR48","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10009-002-0094-1","volume":"5","author":"B. Nielsenand","year":"2003","unstructured":"Nielsenand, B., Skou, A.: Automated test generation from timed automata. International Journal on Software Tools for Technology Transfer\u00a05, 59\u201377 (2003)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"3_CR49","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1109\/32.6165","volume":"14","author":"S. Ntafos","year":"1988","unstructured":"Ntafos, S.: A comparison of some structural testing strategies. IEEE Transaction on Software Engineering\u00a014, 868\u2013874 (1988)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"3_CR50","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)"},{"issue":"4","key":"3_CR51","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Transactions on Software Engineering\u00a011(4), 367\u2013375 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR52","unstructured":"RCTA, Washington D.C., USA. RTCA\/DO-178B, Software Considerations in Airborne Systems and Equipment Certifications (December 1992)"},{"key":"3_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1007\/3-540-58179-0_76","volume-title":"Computer Aided Verification","author":"T.G. Rokicki","year":"1994","unstructured":"Rokicki, T.G., Myers, C.J.: Automatic verification of timed circuits. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 468\u2013480. Springer, Heidelberg (1994)"},{"key":"3_CR54","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)"},{"key":"3_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2002)"},{"issue":"1\u20132","key":"3_CR56","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\u20132), 225\u2013257 (2001)","journal-title":"Theoretical Computer Science"},{"key":"3_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"3_CR58","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":"3_CR59","unstructured":"Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: EuroSTAR 1999: 7th European Int. Conference on Software Testing, Analysis & Review. Barcelona, Spain. EuroStar Conferences, Galway, Ireland, November 8\u201312 (1999)"},{"issue":"18","key":"3_CR60","doi-asserted-by":"crossref","first-page":"1967","DOI":"10.1016\/S1389-1286(99)00007-9","volume":"31","author":"M. \u00dcmit Uyar","year":"1999","unstructured":"\u00dcmit Uyar, M., Fecko, M.A., Sethi, A.S., Amar, P.D.: Testing Protocols Modeled as FSMs with Timing Parameters. Computer Networks: The International Journal of Computer and Telecommunication Networking\u00a031(18), 1967\u20131998 (1999)","journal-title":"Computer Networks: The International Journal of Computer and Telecommunication Networking"},{"key":"3_CR61","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":"3_CR62","first-page":"141","volume-title":"STW\u00a0Technology Foundation, editor, PROGRESS 2000 \u2013 Workshop on Embedded Systems","author":"R. Vries de","year":"2000","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, editor, PROGRESS 2000 \u2013 Workshop on Embedded Systems, October 2000, pp. 141\u2013148. The Netherlands, Utrecht (2000)"},{"issue":"4","key":"3_CR63","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"},{"issue":"2","key":"3_CR64","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A. Zeller","year":"2002","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and Isolating Failure-Inducing Input. IEEE Transactions on Software Engineering\u00a028(2), 183\u2013200 (2002)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78917-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T17:31:19Z","timestamp":1738171879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78917-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789161","9783540789178"],"references-count":64,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78917-8_3","relation":{},"subject":[]}}