{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:06:47Z","timestamp":1743084407836,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540273240"},{"type":"electronic","value":"9783540315841"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11516798_3","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T04:29:05Z","timestamp":1279081745000},"page":"37-51","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Testing Mobile and Distributed Systems: Method and Experimentation"],"prefix":"10.1007","author":[{"given":"Patrice","family":"Lauren\u00e7ot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Salva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,23]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BFb0031987","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Dill, D.: The theory of timed automata. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 45\u201373. Springer, Heidelberg (1992)"},{"key":"3_CR2","unstructured":"Berrada, I., Castanet, R., Felix, P.: A formal approach for real-time test generation. In: WRTES, satellite workshop of FME symposium, pp. 5\u201316 (2003)"},{"key":"3_CR3","unstructured":"Bochmann, G.v., Das, G., Dssouli, R., Dubuc, M.: Fault Models in Testing. In: Proceedings of the International Workshop on Testing of Communicating Systems, IWTCS 1991 (1991)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Information and Software Technology (1999)","DOI":"10.1016\/S0950-5849(99)00036-1"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Castanet, R., Chevrier, C., Kon, O., Le Saec, B.: An Adaptive Test Sequence Generation Method for the User Needs. In: Proceedings of IWPTS 1995, Evry, France (1995)","DOI":"10.1007\/978-0-387-34988-6_7"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Cavalli, A.: Different approach to protocol ans service testing. In: Proceedings of the Twelfth IFIP Workshop on Testing of Communicating Systems (IWTCS 1999) (September 1999)","DOI":"10.1007\/978-0-387-35567-2_1"},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering\u00a0SE-4(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"J.C. Fernandez","year":"1996","unstructured":"Fernandez, J.C., Jard, C., Jron, T., Viho., C.: Using on-the-fly verification techniques for the generation of test suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, Springer, Heidelberg (1996)"},{"key":"3_CR9","unstructured":"WAP forum. Wap specification, \n\nhttp:\/\/www.wapforum.org"},{"key":"3_CR10","first-page":"166","volume-title":"Proceedings of the 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000","author":"H. Fouchal","year":"2000","unstructured":"Fouchal, H., Petitjean, E., Salva, S.: Testing Timed Systems with Timed Purposes. In: Proceedings of the 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000, Cheju Island, South Korea, December 2000, pp. 166\u2013171. IEEE Computer Society, Los Alamitos (2000)"},{"issue":"6","key":"3_CR11","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite-state models. IEEE Transactions on Software Engineering\u00a017(6), 591\u2013603 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR12","unstructured":"ISO. Conformance Testing Methodology and Framework. International Standard 9646, International Organization for Standardization \u2014 Information Technology \u2014 Open Systems Interconnection, Gen\u00e8ve (1991)"},{"key":"3_CR13","unstructured":"kannel group. Kannel, open source wap and sms gateway, \n\nhttp:\/\/www.kannel.org"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Luo, G., Dssouli, R., Bochman, G., Venkatraam, P., Ghedsami, A.: Test generation with respect to distributed interfaces. In: Computer Standards and Interfaces, vol.\u00a016, pp. 119\u2013132 (1994)","DOI":"10.1016\/0920-5489(94)90003-5"},{"key":"3_CR15","unstructured":"Mederreg, A., Zaidi, F., Combes, P., Monin, W., Castanet, R., Mackaya, M., Lauren\u00e7ot, P.: Une plate-forme de validation multi-protocoles et multi-services - r\u00e9sultats d\u2019exp\u00e9rimentation. In: Colloque Francophone de l\u2019ing\u00e9nierie des Protocoles, CFIP (October 2003)"},{"key":"3_CR16","unstructured":"Phalippou, M.: Relation d\u2019implantation et hypoth\u00e8ses de test sur des automates \u00e0 entr\u00e9es et sorties. PhD thesis, Univ. of Bordeaux (September 1994)"},{"key":"3_CR17","unstructured":"Rafiq, O., Castanet, R., Chraibi, C.: Towards an environment for testing osi protocols. In: Proc. of the International Workshop on Protocol Specification, testing and Verification (1985)"},{"key":"3_CR18","unstructured":"Salva, S., Lauren\u00e7ot, P.: G\u00e9n\u00e9ration de tests temporis\u00e9s orient\u00e9e caract\u00e9risation d\u2019\u00e9tats. Colloque Francophone de l\u2019ing\u00e9nierie des Protocoles, CFIP (October 2003)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Ulrich, A., K\u00f6nig, H.: Architecture for testing distributed systems. In: Proc. of Inter. Workshop on testing of Communicating Systems, IWTCS 1999 (1999)","DOI":"10.1007\/978-0-387-35567-2_7"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Walter, T., Schieferdecker, I., Grabowski, J.: Test architectures for distributed systems - state of the art and beyond. Testing of Communicating Systems (1998)","DOI":"10.1007\/978-0-387-35381-4_10"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11516798_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T21:04:47Z","timestamp":1585688687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11516798_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540273240","9783540315841"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11516798_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]},"assertion":[{"value":"23 August 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}