{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:08Z","timestamp":1746115868305,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642419461"},{"type":"electronic","value":"9783642419478"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41947-8_26","type":"book-chapter","created":{"date-parts":[[2013,10,5]],"date-time":"2013-10-05T15:06:54Z","timestamp":1380985614000},"page":"310-321","source":"Crossref","is-referenced-by-count":0,"title":["Testing Stochastic Systems Using MoVoS Tool: Case Studies"],"prefix":"10.1007","author":[{"given":"Kenza","family":"Bouaroudj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djamel-Eddine","family":"Saidouni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilham","family":"Kitouni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Arous, M., Saidouni, D.E., Ili\u00e9, J.M.: Maximality Semantics based Stochastic Process Algebra for Performance Evaluation. In: 1st IEEE International Conference on Communications, Computing and Control Applications (CCCA 2011), Hammamet, Tunisia, March 3-5 (2011), IEEE Catalog Number: CFP1154M-ART, ISBN: 978-1-4244-9796-6","DOI":"10.1109\/CCCA.2011.6031388"},{"key":"26_CR2","unstructured":"Arous, M., Saidouni, D.E., Ili\u00e9, J.M.: Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems. In: to appear in 2nd International Conference on Computer and Software Modeling - ICCSM 2012, Cochin, India, October 20-21. IPCSIT (2012)"},{"key":"26_CR3","unstructured":"Arous, M., Bouaroudj, K., Sa\u00efdouni, D.E.: An environment for modeling and verifying \/ testing stochastic systems. Issues of JATIT\u00a050 ( appear in April 2013)"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: 12th Int. Workshop on Testing of Communicating Systems. Kluwer (1999)","DOI":"10.1007\/978-0-387-35567-2_12"},{"key":"26_CR5","unstructured":"Bouaroudj, K., Kitouni, I., Hachichi, H., Saidouni, D.E.: Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems. IJCSI\u00a09(5) (September 2012)"},{"key":"26_CR6","unstructured":"Brinksma, E.: A theory for the derivation of tests. In: Aggarwal, S., Sabnani, K. (eds.) Proceedings of the 8th IFIP Symposium on Protocol Specification, Testing and Verification (PSTV 1988). North-Holland (1989)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/11498490_8","volume-title":"Model-Based Testing of Reactive Systems","author":"V. Tschaen","year":"2005","unstructured":"Tschaen, V.: 6 test generation algorithms based on preorder relations. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472, pp. 151\u2013171. Springer, Heidelberg (2005)"},{"issue":"2","key":"26_CR8","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1023\/A:1021758401878","volume":"24","author":"A. Burns","year":"2003","unstructured":"Burns, A.: How to verify a safe real time: the application of model checking and timed automata to the production cell case study. Real Time Systems Journal\u00a024(2), 135\u2013152 (2003)","journal-title":"Real Time Systems Journal"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/3-540-46002-0_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., J\u00e9ron, T., Rusu, V., Zinovieva, E.: STG: A symbolic test generation tool. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 470\u2013475. Springer, Heidelberg (2002)"},{"key":"26_CR10","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-00405-6_7","volume-title":"Information Systems, Technology and Management","author":"V. Jalali","year":"2009","unstructured":"Jalali, V., Borujerdi, M.R.M.: A hybrid information retrieval system for medical field using meSH ontology. In: Prasad, S.K., Routray, S., Khurana, R., Sahni, S. (eds.) ICISTM 2009. CCIS, vol.\u00a031, pp. 31\u201340. Springer, Heidelberg (2009)"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-24617-6_9","volume-title":"Formal Approaches to Software Testing","author":"A. Hessel","year":"2004","unstructured":"Hessel, A., Larsen, K.G., Nielsen, B., Pettersson, P., Skou, A.: Time-optimal real-time test case generation using uppaal. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 114\u2013130. Springer, Heidelberg (2004)"},{"issue":"7","key":"26_CR12","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1093\/comjnl\/38.7.542","volume":"38","author":"D.R.W. Holton","year":"1995","unstructured":"Holton, D.R.W.: A PEPA Specification of an Industrial Production Cell. The Computer Journal\u00a038(7), 542\u2013551 (1995)","journal-title":"The Computer Journal"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron., T.: Tgv: theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer (STTT)\u00a010 (2004)","DOI":"10.1007\/s10009-004-0153-x"},{"key":"26_CR14","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":"26_CR15","unstructured":"Nielsen, B.: Specification and test of real-time systems: PhD thesis, Aalborg University (April 2000)"},{"key":"26_CR16","unstructured":"Sa\u00efdouni, D.E., Courtiat, J.P.: Prise en compte des dur\u00e9es d\u2019action dans les alg\u00e8bres de processus par l\u2019utilisation de la s\u00e9mantique de maximalit\u00e9. In: Proceedings of CFIP 2003, Hermes, France (2003)"},{"issue":"1","key":"26_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1008074907254","volume":"15","author":"S.S. Tyszberowiez","year":"1998","unstructured":"Tyszberowiez, S.S.: How to implement a safe real-time system: The OBSERV implementation of the production cell case study. Real Time Systems\u00a015(1), 61\u201390 (1998)","journal-title":"Real Time Systems"},{"key":"26_CR18","unstructured":"Kamrul, H.T.: Formal verification of the Alternating Bit Protocol. In: 6th International Conference on Computer & Information Technology, ICCIT (2003)"},{"issue":"1\/2","key":"26_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S1567-8326(01)00010-8","volume":"49","author":"J.F. Groote","year":"2001","unstructured":"Groote, J.F., Springintveld, J.: Focus points and convergent process perators. A proof strategy for protocol verification. Journal of Logic and Algebraic Programming\u00a049(1\/2), 31\u201360 (2001)","journal-title":"Journal of Logic and Algebraic Programming"}],"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-41947-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T15:35:30Z","timestamp":1746027330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41947-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642419461","9783642419478"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41947-8_26","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}