{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:39:28Z","timestamp":1743154768952,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642032394"},{"type":"electronic","value":"9783642032400"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03240-0_6","type":"book-chapter","created":{"date-parts":[[2009,7,27]],"date-time":"2009-07-27T10:27:38Z","timestamp":1248690458000},"page":"23-36","source":"Crossref","is-referenced-by-count":1,"title":["Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators"],"prefix":"10.1007","author":[{"given":"Virginia","family":"Papailiopoulou","sequence":"first","affiliation":[]},{"given":"Laya","family":"Madani","sequence":"additional","affiliation":[]},{"given":"Lydie","family":"du Bousquet","sequence":"additional","affiliation":[]},{"given":"Ioannis","family":"Parissis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE\u00a091(1), 64\u201383 (2003)","journal-title":"Proceedings of the IEEE"},{"issue":"9","key":"6_CR2","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"Boussinot, F., De Simone, R.: The Esterel language. Proceedings of the IEEE\u00a079(9), 1293\u20131304 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"11","key":"6_CR3","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/32.41326","volume":"15","author":"L.A. Clarke","year":"1989","unstructured":"Clarke, L.A., Podgurski, A., Richardson, D.J., Zeil, S.J.: A formal evaluation of data flow path selection criteria. IEEE Trans. Software Eng.\u00a015(11), 1318\u20131332 (1989)","journal-title":"IEEE Trans. Software Eng."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-540-45212-6_14","volume-title":"Embedded Software","author":"A. Girault","year":"2003","unstructured":"Girault, A., Nicollin, X.: Clock-driven automatic distribution of lustre programs. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 206\u2013222. Springer, Heidelberg (2003)"},{"issue":"9","key":"6_CR5","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language lustre. Proceedings of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"9","key":"6_CR6","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.159839","volume":"18","author":"N. Halbwachs","year":"1992","unstructured":"Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying real-time systems by means of the synchronous data-flow language lustre. IEEE Trans. Software Eng.\u00a018(9), 785\u2013793 (1992)","journal-title":"IEEE Trans. Software Eng."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Lakehal, A., Parissis, I.: Structural test coverage criteria for lustre programs. In: The 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), a joint event of ESEC\/FSE 2005, Lisbon, Portugal, September 2005, pp. 35\u201343 (2005)","DOI":"10.1145\/1081180.1081186"},{"issue":"9","key":"6_CR8","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"Le Guernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming Real-Time Applications with SIGNAL. Proceedings of the IEEE\u00a079(9), 1321\u20131336 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Trans. Software Eng.\u00a011(4), 367\u2013375 (1985)","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/TSE.1980.230473","volume":"6","author":"M.R. Woodward","year":"1980","unstructured":"Woodward, M.R., Hedley, D., Hennell, M.A.: Experience with path analysis and testing of programs. IEEE Trans. Softw. Eng.\u00a06(3), 278\u2013286 (1980)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03240-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:26:00Z","timestamp":1558268760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03240-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642032394","9783642032400"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03240-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}