{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:21:30Z","timestamp":1775053290463,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540418658","type":"print"},{"value":"9783540453192","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45319-9_24","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:50:47Z","timestamp":1184586647000},"page":"343-357","source":"Crossref","is-referenced-by-count":36,"title":["Automated Test Generation from Timed Automata"],"prefix":"10.1007","author":[{"given":"Brian","family":"Nielsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arne","family":"Skou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"issue":"2","key":"24_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Rajeev Alur and David L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126(2):183\u2013235, 25 April 1994.","journal-title":"Theoretical Computer Science"},{"key":"24_CR2","series-title":"Lect Notes Comput Sci","volume-title":"6th Conference on Computer Aided Verification","author":"R. Alur","year":"1994","unstructured":"Rajeev Alur, Limor Fix, and Thomas A. Henzinger. Event-Clock Automata: A Determinizable Class of Timed Automata. In 6th Conference on Computer Aided Verification, 1994. Also in LNCS 818."},{"key":"24_CR3","unstructured":"Boris Beizer. Software Testing Techniques. International ThompsonComputer Press, 1990. 2nd edition, ISBN 1850328803."},{"key":"24_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-61474-5_73","volume-title":"9th Intl. Conference on Computer Aided Verification","author":"J. Bengtsson","year":"1996","unstructured":"Johan Bengtsson, W. O. David Griffioen, K\u00e5are J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Petterson, and Wang Yi. Verification of an Audio Protocol with Bus Collision using UppAal. In 9th Intl. Conference on Computer Aided Verification, pages 244\u2013256, 1996. LNCS 1102."},{"key":"24_CR5","series-title":"TR","volume-title":"Verification of an Audio Protocol","author":"D. Bosscher","year":"1994","unstructured":"Doeko Bosscher, Indra Polak, and Frits Vaandrager. Verification of an Audio Protocol. TR CS-R9445, CWI, Amsterdam, The Netherlands, 1994. Also in LNCS 863, 1994."},{"key":"24_CR6","unstructured":"Ahmed Bouajjani, Stavros Tripakis, and Sergio Yovine. On-the-fly Symbolic Model-Checking for Real-Time Systems. In 1997 IEEE Real-Time Systems Symposium, RTSS\u201997, San Fransisco, USA, December 1996. IEEE Computer Society Press."},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/S0167-6423(99)00017-9","volume":"36","author":"M. Bozga","year":"2000","unstructured":"Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry J\u00e9ron, Alain Kerbrat, Pierre Morel, and Laurent Mounier. Verification and Test Generation for the SSCOP Protocol. Science of Computer Programming, 36(1):27\u201352, 2000.","journal-title":"Science of Computer Programming"},{"key":"24_CR8","unstructured":"V. Braberman, M. Felder, and M. Marr\u00e9. Testing Timing Behaviors of Real Time Software. In Quality Week 1997. San Francisco, USA., pages 143\u2013155, April-May 1997 1997."},{"key":"24_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BFb0055352","volume-title":"5th international Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT\u201998)","author":"R. Cardell-Oliver","year":"1998","unstructured":"Rachel Cardell-Oliver and Tim Glover. A Practical and Complete Algorithm for Testing Real-Time Systems. In 5th international Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT\u201998), pages 251\u2013261, September 14-18 1998. Also in LNCS 1486."},{"key":"24_CR10","unstructured":"R. Castanet, Ousmane Kon\u00e9, and Patrice Lauren\u00e7ot. On the fly test generation for realtime protocols. In International Conference in Computer Communications and Networks, Lafayette, Lousiana,USA, October 12\u201315 1998. IEEE Computer Society Press."},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Duncan Clarke and Insup Lee. Testing Real-Time Constraints in a Process Algebraic Setting. In 17th International Conference on Software Engineering, 1995.","DOI":"10.1145\/225014.225019"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Duncan Clarke and Insup Lee. Automatic Test Generation for the Analysis of a Real-Time System: Case Study. In 3rd IEEE Real-Time Technology and Applications Symposium, 1997.","DOI":"10.1109\/RTTAS.1997.601349"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01211314","volume":"5","author":"R. Cleaveland","year":"1993","unstructured":"Rance Cleaveland and Matthew Hennessy. Testing Equivalence as a Bisimulation Equivalence. Formal Aspects of Computing, 5:1\u201320, 1993.","journal-title":"Formal Aspects of Computing"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Conrado Daws and Sergio Yovine. Reducing the Number of Clock Variables of Timed Automata. In 1996 IEEE Real-Time Systems Symposium, RTSS\u201996,Washington, DC, USA, december 1996. IEEE Computer Society Press.","DOI":"10.1109\/REAL.1996.563702"},{"key":"24_CR15","series-title":"Lect Notes Comput Sci","first-page":"197","volume-title":"International Workshop on Automatic Verification Methods for Finite State Systems","author":"D. L. Dill","year":"1989","unstructured":"David L. Dill. Timing Assumptions andVerification of Finite-State Concurrent Systems. In International Workshop on Automatic Verification Methods for Finite State Systems, pages 197\u2013212, Grenoble, France, June 1989. LNCS 407."},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Abdeslam En-Nouaary, Rachida Dssouli, and Ferhat Khendek. Timed Test Cases Generation Based on State Characterization Technique. In 19th IEEE Real-Time Systems Symposium (RTSS\u201998), pages 220\u2013229, December 2\u20134 1998.","DOI":"10.1109\/REAL.1998.739748"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Alain Kerbrat, Thierry J\u00e9ron, and Roland Groz. Automated Test Generation from SDL Specifications. In Ninth SDL Forum, 21\u201325 June 1999. Montral, Qubec, Canada.","DOI":"10.1016\/B978-044450228-5\/50011-4"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Kim G. Larsen, Fredrik Larsson, Paul Petterson, and Wang Yi. Efficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction. In 18th IEEE Real-Time Systems Symposium, pages 14\u201324, 1997.","DOI":"10.1109\/REAL.1997.641265"},{"issue":"1","key":"24_CR19","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K. G. Larsen","year":"1997","unstructured":"Kim G. Larsen, Paul Pettersson, and Wang Yi. UppAal in a Nutshell. International Journal on Software Tools for Technology Transfer, 1(1):134\u2013152, 1997.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"4","key":"24_CR20","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/210223.210226","volume":"13","author":"D. Mandrioli","year":"1995","unstructured":"Dino Mandrioli, Sandro Morasca, and Angelo Morzenti. Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Transactions on Computer Systems, 13(4):365\u2013398, 1995.","journal-title":"ACM Transactions on Computer Systems"},{"key":"24_CR21","first-page":"83","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola and M.C.B Hennessy. Testing Equivalences for Processes. TheoreticalComputer Science, 34:83\u2013133, 1984.","journal-title":"TheoreticalComputer Science"},{"key":"24_CR22","volume-title":"Specification and Test of Real-Time Systems","author":"B. Nielsen","year":"2000","unstructured":"Brian Nielsen. Specification and Test of Real-Time Systems. PhD thesis, Department of Computer Science, Aalborg University, Denmark, april 2000."},{"key":"24_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/3-540-48092-7_16","volume-title":"Correct System Design","author":"J. Peleska","year":"1999","unstructured":"Jan Peleska and Bettina Buth. Formal Methods for the International Space Station ISS. In E.-R. Olderog and B. Steffen, editors, Correct System Design, pages 363\u2013389, 1999. Springer LNCS 1710."},{"key":"24_CR24","unstructured":"Jan Peleska and Cornelia Zahlten. Test Automation for Avionic Systems and Space Technology. In GIWorkingGroup on Test, Analysis and Verification of Software, 1999. Munich, Extended Abstract."},{"key":"24_CR25","unstructured":"Annie Ressouche, Robert de Simone, Amar Bouali, and Val\u00e9rie Roy. The FCTOOLS User Manual. Technical Report ftp:\/\/ftpsop.inria.fr\/meije\/verif\/fc2.userman.ps , INRIA Sophia Antipolis."},{"key":"24_CR26","unstructured":"Holger Schlingloff, Oliver Meyer, and Thomas H\u00fclsing. Correctness Analysis of an Embedded Controller. In Data Systems in Aerospace (DASIA99). ESA SP-447, Lisbon, Portugal, pages 317\u2013325, 1999."},{"key":"24_CR27","unstructured":"J. Springintveld, F. Vaandrager, and P.R. D\u2019Argenio. Testing Timed Automata. TR CTIT 97-17, University of Twente, 1997. To appear in Theoretical Computer Science."},{"key":"24_CR28","unstructured":"Wang Yi, Paul Pettersson, and Mats Daniels. Automatic Verification of Real-Time Communicating Systems by Constraint Solving. In 7th Int. Conf. on Formal Description Techniques, pages 223\u2013238, 1994. North-Holland."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45319-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:10:02Z","timestamp":1556665802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45319-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418658","9783540453192"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45319-9_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}