{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:27:14Z","timestamp":1725564434961},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208945"},{"type":"electronic","value":"9783540246176"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24617-6_10","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:26:17Z","timestamp":1283685977000},"page":"131-146","source":"Crossref","is-referenced-by-count":14,"title":["Test Cases Generation for Nondeterministic Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Khoumsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"J\u00e9ron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"unstructured":"Khoumsi, A., Ouedraogo, L.: A new transformation of timed automata into finite state automata. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988. Springer, Heidelberg (2004)","key":"10_CR2"},{"unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. In: Proc. 6th World Conf. on Integ. Design and Process Technol (IDPT), Pasadena, California, USA (June 2002)","key":"10_CR3"},{"doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools\u00a017 (1996)","key":"10_CR4","DOI":"10.1007\/3-540-61042-1_42"},{"doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Proc. PSTV\/FORTE, Beijing, China (October 1999)","key":"10_CR5","DOI":"10.1007\/978-0-387-35578-8_2"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-45739-9_20","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Khoumsi","year":"2002","unstructured":"Khoumsi, A.: A method for testing the conformance of real time systems. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, p. 331. Springer, Heidelberg (2002)"},{"unstructured":"Nielsen, B.: Specification and test of real-time systems. PhD thesis, Dept of Comput. Science, Faculty of Engin. and Sc., Aalborg University, Aalborg, Denmark (2000)","key":"10_CR7"},{"key":"10_CR8","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, 350\u2013371 (2000)","journal-title":"Formal Aspects of Computing"},{"doi-asserted-by":"crossref","unstructured":"Cardell-Oliver, R.: Conformance testing of real-time systems with timed automata. In: Nordic Workshop on Programming Theory (October 2000)","key":"10_CR9","DOI":"10.1007\/s001650070009"},{"unstructured":"Clarke, D.: Testing real-time constraints. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, USA (1996)","key":"10_CR10"},{"unstructured":"Braberman, V., Felder, M., Mass\u00e9, M.: Testing timing behaviors of real time software. In: Proc. Quality Week 1997, San Francisco, USA, April- May 1997, pp. 143\u2013155 (1997)","key":"10_CR11"},{"unstructured":"Peleska, J., Amthor, P., Dick, S., Meyer, O., Siegel, M., Zahlten, C.: Testing reactive real-time systems. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486. Springer, Heidelberg (1998)","key":"10_CR12"},{"unstructured":"Springintveld, J., Vaandrager, F., D\u2019Argenio, P.: Testing timed automata. Technical Report CTIT97-17, University of Twente, Amsterdam, The Netherlands (1997)","key":"10_CR13"},{"unstructured":"En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.: Timed test generation based on state characterization technique. In: Proc. 19th IEEE Real-Time Systems Sympos (RTSS), Madrid, Spain (December 1998)","key":"10_CR14"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24617-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:29:49Z","timestamp":1558301389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24617-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208945","9783540246176"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24617-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}