{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:58:30Z","timestamp":1742990310460,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401230"},{"type":"electronic","value":"9783540448303"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44830-6_16","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:56:53Z","timestamp":1184605013000},"page":"211-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["A Guided Method for Testing Timed Input Output Automata"],"prefix":"10.1007","author":[{"given":"Abdeslam","family":"En-Nouaary","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachida","family":"Dssouli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"16_CR2","unstructured":"P. Baker, J. Grabowski, E. Rudolph, and I. Schieferdecker. A Message Sequence Chart-profile for Graphical Test Specification, Development and Tracing. In 18th International Conference and Exposition on Testing Computer Software, Washington, DC. USA, June 2001."},{"key":"16_CR3","unstructured":"D. Clarke and I. Lee. Automatic Generation of Tests for Timing Constraints from Requirements. In Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California, February 1997."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Rachel Cardell-Oliver and Tim Glover. A Practical and Complete Algorithm for Testing Real-Time Systems. In FTRTFT1998 \u2014 Formal Techniques for Real-Time Fault Tolerant Systems, Lyngby, Danmark, 1998.","DOI":"10.1007\/BFb0055352"},{"key":"16_CR5","series-title":"Technical Report","volume-title":"D\u00e9nombrement du Nombre des R\u00e9gions dans un Automate Temporis\u00e9","author":"A. Elqortobi","year":"1998","unstructured":"A. Elqortobi and A. En-Nouaary. D\u00e9nombrement du Nombre des R\u00e9gions dans un Automate Temporis\u00e9. Technical Report TR-1116, D\u00e9partement IRO, Universite de Montr\u00e9al, Montr\u00e9al, Canada, January 1998."},{"key":"16_CR6","unstructured":"A. En-Nouaary. Testing Real-Time Systems using Test Purposes. In International Workshop on Communication Software Engineering (IWCSE), Marrakech, Morocco, December 2002."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"A. En-Nouaary, R. Dssouli, and F. Khendek. Timed Wp-Method: Testing Real-Time Systems. IEEE Transactions on Software Engineering, November, November 2002.","DOI":"10.1109\/TSE.2002.1049402"},{"key":"16_CR8","unstructured":"A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed Test Cases Generation Based on State Characterisation Technique. In 19th IEEE Real-Time Systems Symposium (RTSS\u201998), Madrid, Spain, December, 2\u20134 1998."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"M. A. Fecko, P. D. Amer, M. U. Uyar, and A. Y. Duale. Test Generation in the presence of Conflicting Timers. In TESTCOM Ottawa, Canada, August\u2013September 2000.","DOI":"10.1007\/978-0-387-35516-0_19"},{"key":"16_CR10","unstructured":"J. Grabowski, D. Hogrefe, and R. Nahm. Test Case Generation with Test Purpose Specification by MSCs. In SDL\u201993, October 1993."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli. Generating Test Cases for a Timed I\/O Automaton Model. In Proceedings of the International Workshop on Testing Communicating Systems (IWTCS\u201999), Budapest, Hungary, 1999.","DOI":"10.1007\/978-0-387-35567-2_13"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"D. Hogrefe. Some Implications of MSC, SDL and TTCN Time Extensions for Computer-aided Test Generation. In 10th SDL-Forum, Copenhagen, Danemark, June 2001.","DOI":"10.1007\/3-540-48213-X_11"},{"key":"16_CR13","series-title":"International Standard","volume-title":"Conformance Testing Methodology and Framework","author":"ISO","year":"1991","unstructured":"ISO. Conformance Testing Methodology and Framework. International Standard IS-9646 9646, International Organization for Standardization \u2014 Information Technology \u2014 Open Systems Interconnection, Gen\u00e9ve, 1991."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"A. Khoumsi, M. Akalay, R. Dssouli, A. En-Nouaary, and L. Granger. An Approach For Testing Real-Time Protocols. In TESTCOM Ottawa, Canada, August\u2013September 2000.","DOI":"10.1007\/978-0-387-35516-0_18"},{"key":"16_CR15","unstructured":"I. Kang. CTSM A Formalism for Real-Time System Analysis based on State-Space Exploration. PhD Thesis, University of Pennsylvania 1995."},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1016\/S0140-3664(99)00223-6","volume":"23","author":"O. Kon\u00e9","year":"2000","unstructured":"Osmane Kon\u00e9 and Richard Castanet. Test Generation for Internetworking Systems. Computer Communications, 23:642\u2013652, 2000.","journal-title":"Computer Communications"},{"key":"16_CR17","unstructured":"A. Khoumsi, A. En-Nouaary, R. Dssouli, and M. Akalay. A New Method for Testing Real-Time Systems. In RTCSA, Cheju Island, South Korea, December 2000."},{"key":"16_CR18","unstructured":"Osmane Kon\u00e9 Patrice Laurencot and Richard Castanet. On the Fly Test Generation for Real-Time Protocols. In International Conference on Computer Communications and Networks, Louisiane, USA, 1998."},{"issue":"2","key":"16_CR19","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF02252683","volume":"6","author":"N.A. Lynch","year":"1992","unstructured":"N.A. Lynch and H. Attiya. Using Mappings to Prove Timing Properties. Distributed Computing, 6(2):121\u2013139, 1992.","journal-title":"Distributed Computing"},{"key":"16_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings Mathematical Foundations of Programming Semantics (MFPS 9)","author":"K.G. Larsen","year":"1993","unstructured":"K.G. Larsen and W. Yi. Time Abstracted Bisimulation: Implicit Specification and Decidability. In Proceedings Mathematical Foundations of Programming Semantics (MFPS 9), volume 802 of Lecture Notes in Computer Science, New Orleans, USA, April 1993. Springer-Verlag."},{"issue":"4","key":"16_CR21","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/210223.210226","volume":"13","author":"D. Mandrioli","year":"1995","unstructured":"D. Mandrioli, S. Morasca, and A. Morzenti. Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Transactions on Computer Systems, 13(4):365\u2013398, November 1995.","journal-title":"ACM Transactions on Computer Systems"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Brian Nielsen and Arne Skou. Automated Test Generation from Timed Automata. In 5th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems FTRTFT\u201998, September 1998.","DOI":"10.1007\/BFb0055330"},{"issue":"9","key":"16_CR23","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1109\/32.159837","volume":"18","author":"X. Nicollin","year":"1992","unstructured":"Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. Compiling Real-Time Specifications into Extended Automata. IEEE transactions on Software Engineering, 18(9):794\u2013804, September 1992.","journal-title":"IEEE transactions on Software Engineering"},{"key":"16_CR24","unstructured":"S\u00e9bastien Salva, Eric Petitjean, and Hac\u00e8ne Fouchal. A Simple Approach to Testing Timed Systems. In Proceedings of the Workshop on Formal Approaches to Testing of Software, (FATES\u201901), Aalborg, Denmark, Aug 2001."},{"key":"16_CR25","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 4th International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Uppsala, Sweden","author":"J. Springintveld","year":"1996","unstructured":"J. Springintveld and F. Vaandrager. Minimizable Timed Automata. In B. Jonsson and J. Parrow, editors, Proceedings of the 4th International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Uppsala, Sweden, volume 1135 of Lecture Notes in Computer Science. Springer-Verlag, 1996."},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J. Springintveld","year":"2001","unstructured":"J. Springintveld, F. Vaadranger, and P. Dargenio. Testing Timed Automata. Theoretical Computer Science, 254:225\u2013257, 2001.","journal-title":"Theoretical Computer Science"},{"key":"16_CR27","unstructured":"J. Tretmans. A Formal Approach to Conformance Testing. PhD Thesis, University of Twente, August 1992."}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44830-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T11:55:27Z","timestamp":1629374127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44830-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401230","9783540448303"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-44830-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"24 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}