{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:58Z","timestamp":1725544798279},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341840"},{"type":"electronic","value":"9783540341857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754008_20","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T13:22:40Z","timestamp":1146057760000},"page":"306-323","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic and on the Fly Testing with Real-Time Observers"],"prefix":"10.1007","author":[{"given":"Rachid","family":"Bouaziz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ousmane","family":"Kon\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","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":"Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"20_CR2","unstructured":"Analysis and VERification for the Reliability Of Embedded Systems, www.education.gouv.fr\/rntl"},{"key":"20_CR3","unstructured":"Bouaziz, R., Kon\u00e9, O.: Design principles and applications of the OOTEST tool. Technical Report, CNRS University of Toulouse (2006)"},{"key":"20_CR4","first-page":"79","volume-title":"Program Flow Analysis: Theory and Applications","author":"L. Clarke","year":"1981","unstructured":"Clarke, L., Richardson, D.: Symbolic evaluation methods for program analysis. In: Muchnick, S., Jones, N. (eds.) Program Flow Analysis: Theory and Applications, pp. 79\u2013101. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"20_CR5","unstructured":"Clauss, Ph., Loechner, V.: PolyLib: A Library for Manipulating Parameterized Polyhedra. Technical Report, University of Strasbourg (1999)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Castanet, R., Kon\u00e9, O., Laurencot, P.: On-the-Fly Test Generation for Real-Time Protocols. In: IEEE International Conference on Computer Communication and Networks, Lafayatte (1998)","DOI":"10.1109\/ICCCN.1998.998798"},{"key":"20_CR7","unstructured":"En-Nouaary, A., Liu, G.: Timed Test Cases Generation Based on MSC-2000 Test Purposes. In: Workshop on Integrated-reliability with Telecommunications and UML Languages (WITUL 2004), part of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE), Rennes, France (November 2004)"},{"key":"20_CR8","first-page":"253","volume-title":"6th SDL Forum","author":"J. Grabowski","year":"1993","unstructured":"Grabowski, J., Hogrefe, D., Nahm, R.: Test case generation with test purpose specifications by MSCs. In: 6th SDL Forum, pp. 253\u2013266. Elsevier Science, North Holland (1993)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Larsen, K., Mikucionis, M., Nielsen, B.: On line Testing of Real-Time Systems. Formal Approaches To Testing of Software, Link2, Austria (September 2004)","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.: Generating Test Cases for a Timed I\/O Automaton Model. In: IFIP (IWTCS 1999), Budapest (1999)","DOI":"10.1007\/978-0-387-35567-2_13"},{"key":"20_CR11","unstructured":"Gaufillet, P.: The TOPCASED project: a Toolkit in OPen source for Critical Aeronautic SystEm Design. In: ERTS 2006 - 3rd Embedded Real Time Software Conference - Toulouse (January 2006), http:\/\/www.topcased.org"},{"key":"20_CR12","unstructured":"Dhaussy, Ph., Roger, J.C., Bonin, H., Saves, E., Honnor\u00e9, J.: Experimentation of Timed Observers for Validation of an Avionics Software, Toulouse (January 2006)"},{"issue":"5","key":"20_CR13","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/T-C.1975.224259","volume":"24","author":"W.E. Howden","year":"1975","unstructured":"Howden, W.E.: Methodology for the Generation of Program Test Data. IEEE Trans. Computers\u00a024(5), 554\u2013560 (1975)","journal-title":"IEEE Trans. Computers"},{"issue":"2","key":"20_CR14","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Hinzinger","year":"1994","unstructured":"Hinzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. Information and Computation\u00a0111(2), 193\u2013244 (1994)","journal-title":"Information and Computation"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Kon\u00e9, O.: A local approach to the testing of real-time systems. The Computer Journal, British Computer Society, Oxford\u00a0Press\u00a044(5) (2001)","DOI":"10.1093\/comjnl\/44.5.435"},{"key":"20_CR16","unstructured":"Martinez, J.M., Harbour, M.G., Gutierrez, J.J.: RT-EP: Real-Time Ethernet for analyzable distributed application an a minimum real-time POXIS-kernel. In: 2nd International Workshop on Real-Time LANs in the Internet Age, RTLIA 2003 (2003)"},{"key":"20_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model-checking: An approach to the state explosion problem","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic model-checking: An approach to the state explosion problem. Kluwer Academic, Dordrecht (1993)"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:04:03Z","timestamp":1619492643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11754008_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}