{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:29:25Z","timestamp":1725701365234},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333071"},{"type":"electronic","value":"9783642333088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33308-8_11","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T21:33:52Z","timestamp":1346535232000},"page":"123-137","source":"Crossref","is-referenced-by-count":2,"title":["A Graph Transformation Approach for Testing Timed Systems"],"prefix":"10.1007","author":[{"given":"Hiba","family":"Hachichi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilham","family":"Kitouni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenza","family":"Bouaroudj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djamel-Eddine","family":"Saidouni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science, 183\u2013235 (1994)","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"11_CR2","unstructured":"AToM3 Home page, version 3.00, \n                    \n                      http:\/\/atom3.cs.mcgill.ca\/"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-540-30203-2_30","volume-title":"Graph Transformations","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Heckel, R.: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 431\u2013433. Springer, Heidelberg (2004)"},{"key":"11_CR4","unstructured":"Belala, N.: Mod\u00e8les de Temps et leur Int\u00e9r\u00eat \u00e0 la V\u00e9rification Formelle des Syst\u00e8mes Temps-R\u00e9el. PHD\u2019s thesis, University of Mentouri, 25000 Constantine, Algeria (2010)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-formalism and Meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 174\u2013188. Springer, Heidelberg (2002)"},{"key":"11_CR6","unstructured":"Fouchal, H., Petitjean, E., Salva, S.: An user-oriented testing of real time systems. In: IEEE Workshop on Real-Time Embedded Systems (RTES 2001). IEEE Computer Society Press (2001)"},{"key":"11_CR7","unstructured":"GEF home page, \n                    \n                      http:\/\/www.eclipse.org\/gef\/"},{"key":"11_CR8","unstructured":"GME home page, \n                    \n                      http:\/\/www.isis.vanderbilt.edu\/gme"},{"issue":"10","key":"11_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.5120\/4647-6721","volume":"37","author":"H. Hachichi","year":"2012","unstructured":"Hachichi, H., Kitouni, I., Saidouni, D.E.: Transforming DATA* with Dotty Format to Aggregate Region Automaton. International Journal of Computer Applications\u00a037(10), 35\u201342 (2012)","journal-title":"International Journal of Computer Applications"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78917-8_3","volume-title":"Formal Methods and Testing","author":"A. Hessel","year":"2008","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing Real-Time Systems Using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 77\u2013117. Springer, Heidelberg (2008)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-25959-6_18","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Karsai","year":"2004","unstructured":"Karsai, G., Agrawal, A.: Graph Transformations in OMG\u2019s Model-Driven Architecture. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 243\u2013259. Springer, Heidelberg (2004)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-61292-0_1","volume-title":"Advanced Information Systems Engineering","author":"S. Kelly","year":"1996","unstructured":"Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+: A Fully Con_gurable Multi-User and Multi-Tool CASE and CAME Environment. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol.\u00a01080, pp. 1\u201321. Springer, Heidelberg (1996)"},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.5381\/jot.2010.9.4.a2","volume":"9","author":"E. Kerkouche","year":"2010","unstructured":"Kerkouche, E., Chaoui, A., Bourennane, E., Labbani, O.: A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. Journal of Object Technology\u00a09(4), 25\u201343 (2010)","journal-title":"Journal of Object Technology"},{"key":"11_CR14","unstructured":"Kitouni, I.: D\u00e9terminisation des automates temporis\u00e9s avec dur\u00e9es d\u2019actions pour le test formel. Master\u2019s thesis, University of Mentouri, 25000 Constantine, Algeria (2008)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","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, pp. 109\u2013126. Springer, Heidelberg (2004)"},{"key":"11_CR16","volume-title":"Internationel Workshop on Object-Oriented Real-time Dependable Systems","author":"P. Laurensot","year":"1997","unstructured":"Laurensot, P., Castanet, R.: Integration of Time in Canonical Testers for Real-Time Systems. In: Internationel Workshop on Object-Oriented Real-time Dependable Systems. IEEE Computer Society Press, California (1997)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-45319-9_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Nielsen","year":"2001","unstructured":"Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 343\u2013357. Springer, Heidelberg (2001)"},{"key":"11_CR18","volume-title":"Proceedings of the 2nd Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)","author":"D.E. Sa\u00efdouni","year":"2008","unstructured":"Sa\u00efdouni, D.E., Belala, N., Bouneb, M.: Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets. In: Proceedings of the 2nd Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008). University of Leeds, UK (2008)"}],"container-title":["Communications in Computer and Information Science","Information and Software Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33308-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:03:55Z","timestamp":1620129835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33308-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333071","9783642333088"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33308-8_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}