{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:31:01Z","timestamp":1742387461297},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441656"},{"type":"electronic","value":"9783540457398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45739-9_20","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T22:42:01Z","timestamp":1179268921000},"page":"331-351","source":"Crossref","is-referenced-by-count":7,"title":["A Method for Testing the Conformance of Real Time Systems"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Khoumsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,4]]},"reference":[{"key":"20_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":"20_CR2","doi-asserted-by":"crossref","unstructured":"A. Khoumsi, G.v. Bochmann, and R. Dssouli. Protocol synthesis for real-time applications. In Proc. PSTV\/FORTE, Beijing, China, October 1999. Also available in http:\/\/www.gel.usherb.ca\/khoumsi\/Research\/Public\/PSTVFORTE99.ps .","DOI":"10.1007\/978-0-387-35578-8_24"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model checking for real-time systems. In Proc. IEEE Symposium on Logic in Computer Science, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"20_CR4","unstructured":"F. Liu. Test generation based on an FSM model with timers and counters. Master\u2019s thesis, University of Montreal, Department IRO, 1993."},{"issue":"4","key":"20_CR5","doi-asserted-by":"crossref","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 realtime systems from logic specifications. ACM Transactions on Computer Systems, 13(4):365\u2013398, November 1995.","journal-title":"ACM Transactions on Computer Systems"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"D. Clarke and I. Lee. Automatic generation of tests for timing constraints from requirements. In Proc. 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California, February 1997.","DOI":"10.1109\/WORDS.1997.609955"},{"key":"20_CR7","unstructured":"A. En-Nouaary, R. Dssouli, and A. Elqortobi. G\u00e9n\u00e9ration de tests temporis\u00e9s. In Proc. 6th Colloque Francophone de l\u2019Ing\u00e9nierie des Protocoles. HERMES, 1997."},{"key":"20_CR8","volume-title":"Technical Report CTIT97-17","author":"J. Springintveld","year":"1997","unstructured":"J. Springintveld, F. Vaadranger, and P. Dargenio. Testing timed automata. Technical Report CTIT97-17, University of Twente, Amsterdam, The Netherlands, 1997."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed test generation based on state characterization technique. In Proc. 19th IEEE Real-Time Systems Symposium (RTSS), Madrid, Spain, December 1998.","DOI":"10.1109\/REAL.1998.739748"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"A. Khoumsi, M. Akalay, R. Dssouli, A. En-Nouaary, and L. Granger. An approach for testing real time protocol entities. In Proc. 13th Intern. Workshop. on Testing of Communicating Systems (TestCom), Ottawa, Canada, Aug.-Sept. 2000. Kluwer Academic Publishers. Also available in http:\/\/www.gel.usherb.ca\/khoumsi\/Research\/Public\/TESTCOM00.ps .","DOI":"10.1007\/978-0-387-35516-0_18"},{"key":"20_CR11","unstructured":"A. Khoumsi, A. En-Nouaary, R. Dssouli, and M. Akalay. A new method for testing real time systems. In Proc. 7th Intern. Conf. on Real-Time Computing Systems (RTCSA), Cheju Island, South Korea, December 2000. Also available in http:\/\/www.gel.usherb.ca\/khoumsi\/Research\/Public\/RTCSA00.ps ."},{"key":"20_CR12","volume-title":"Work in Progress-Session of the 21st IEEE Real-Time Systems Symposium (RTSS)","author":"B. Nielsen","year":"2000","unstructured":"B. Nielsen and A. Skou. Automated test generation timed automata. In Work in Progress-Session of the 21st IEEE Real-Time Systems Symposium (RTSS), Walt Disney World, Orlando, Florida, USA, November 2000."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"B. Nielsen and A. Skou. Automated test generation timed automata. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 343\u2013357, Genova, Italy, April 2001.","DOI":"10.1007\/3-540-45319-9_24"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"B. Nielsen and A. Skou. Test generation for time critical systems: Tool and case study. In Proc. 13th Euromicro Conf. on Real-Time Systems, pages 155\u2013162, Delft, The Netherlands, June 2001.","DOI":"10.1109\/EMRTS.2001.934021"},{"key":"20_CR15","unstructured":"A. Khoumsi. A new transformation of timed automata into finite state automata. In Submitted to the 23rd IEEE Real-Time Systems Symposium (RTSS), 2002."},{"key":"20_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/BFb0084802","volume-title":"CONCUR","author":"R. Alur","year":"1992","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, and H. Wong-Toi. Minimization of timed transitions systems. In CONCUR, pages 340\u2013354. Springer-Verlag LNCS 630, 1992."},{"key":"20_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/3-540-56922-7_18","volume-title":"Proc. 5th Conf. on Computer Aided Verification","author":"M. Yannakakis","year":"1993","unstructured":"M. Yannakakis and D. Lee. An efficient algorithm for minimizing real-time transition systems. In Proc. 5th Conf. on Computer Aided Verification, pages 210\u2013224. Springer-Verlag LNCS 697, 1993."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"I. Kang and I. Lee. State minimization for concurrent system analysis based on state space exploration. In Proc. Conf. On Computer Assurance, pages 123\u2013134, 1994.","DOI":"10.1109\/CMPASS.1994.318461"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"I. Kang and I. Lee. An efficient state space generation for analysis of real-time systems. In Proc. Intern. Symposium on Software Testing and Analysis (ISSTA\u2019 96), 1996.","DOI":"10.1145\/229000.226297"},{"key":"20_CR20","series-title":"Lect Notes Comput Sci","first-page":"229","volume-title":"Proc. 8th Intern. Conf. on Computer Aided Verification","author":"S. Tripakis","year":"1995","unstructured":"S. Tripakis and S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. In Proc. 8th Intern. Conf. on Computer Aided Verification, pages 229\u2013242. Springer-Verlag LNCS 1102, 1995."},{"key":"20_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Proc. 11th Intern. Conf. on Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"R. Alur. Timed automata. In Proc. 11th Intern. Conf. on Computer Aided Verification, pages 8\u201322. Springer-Verlag LNCS 1633, 1999."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"A. En-Nouaary, F. Khendek, and R. Dssouli. Fault coverage in testing real-time systems. In Proc. 6th Intern. Conf. on Real-Time Computing Systems and Applications (RTCSA), Hong-Kong, December 1999.","DOI":"10.1109\/RTCSA.1999.811206"},{"key":"20_CR23","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0920-5489(94)90003-5","volume":"16","author":"G. Luo","year":"1994","unstructured":"G. Luo, R. Dssouli, G.v. Bochmann, P. Venkataram, and A. Ghedamsi. Test generation with respect to distributed interfaces. Computer Standards and Interfaces, 16:119\u2013132, 1994.","journal-title":"Computer Standards and Interfaces"},{"issue":"2","key":"20_CR24","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/32.265636","volume":"20","author":"G. Luo","year":"1994","unstructured":"G. Luo, G. v. Bochmann, and A. Petrenko. Test selection based on communicating nondeterministic finite-state machines using a generalized wp-method. IEEE Transactions on Software Engineering, 20(2):149\u2013162, 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR25","unstructured":"S. Fujiwara and G. v. Bochmann. Testing nondeterministic finite-state machine with fault-coverage. In Proc. 4th Intern. Workshop on Protocol Test Systems (WPTS), pages 267\u2013280. North-Holland, 1992."},{"key":"20_CR26","series-title":"PhD thesis","volume-title":"A Formal Approach to Conformance Testing","author":"J. Tretmans","year":"1992","unstructured":"J. Tretmans. A Formal Approach to Conformance Testing. PhD thesis, University of Twente, The Netherlands, December 1992."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45739-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:54:41Z","timestamp":1556398481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45739-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441656","9783540457398"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45739-9_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}