{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:55:21Z","timestamp":1725602121444},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244308"},{"type":"electronic","value":"9783642244315"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24431-5_8","type":"book-chapter","created":{"date-parts":[[2011,8,23]],"date-time":"2011-08-23T22:29:46Z","timestamp":1314138586000},"page":"85-101","source":"Crossref","is-referenced-by-count":4,"title":["Structural Test Coverage Criteria for Integration Testing of LUSTRE\/SCADE Programs"],"prefix":"10.1007","author":[{"given":"Virginia","family":"Papailiopoulou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ajitha","family":"Rajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Parissis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"8_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"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Chilenski, J.J., Miller, S.P.: Applicability of modified condition\/decision coverage to software testing 9(5), 193\u2013200 (1994)","DOI":"10.1049\/sej.1994.0025"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/ICSE.1989.714449","volume-title":"International Conference on Software Engineering","author":"R.A. DeMillo","year":"1989","unstructured":"DeMillo, R.A.: Test Adequacy and Program Mutation. In: International Conference on Software Engineering, pp. 355\u2013356. Pittsburg, PA (1989)"},{"issue":"9","key":"8_CR4","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":"8_CR5","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."},{"issue":"2","key":"8_CR6","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1002\/stvr.394","volume":"19","author":"A. Lakehal","year":"2009","unstructured":"Lakehal, A., Parissis, I.: Structural coverage criteria for lustre\/scade programs. Softw. Test., Verif. Reliab.\u00a019(2), 133\u2013154 (2009)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Marre, B., Arnould, A.: Test sequences generation from lustre descriptions: Gatel. In: IEEE International Conference on Automated Software Engineering, Grenoble, France, pp. 229\u2013237 (October 2000)","DOI":"10.1109\/ASE.2000.873667"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Papailiopoulou, V., Madani, L., du\u00a0Bousquet, L., Parissis, I.: Extending structural test coverage criteria for lustre programs with multi-clock operators. In: The 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), L\u2019Aquila, Italy (September 2008)","DOI":"10.1007\/978-3-642-03240-0_6"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Raymond, P., Nicollin, X., Halbwachs, N., Weber, D.: Automatic testing of reactive systems. In: IEEE Real-Time Systems Symposium, pp. 200\u2013209 (1998)","DOI":"10.1109\/REAL.1998.739746"},{"issue":"3","key":"8_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":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24431-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T05:33:54Z","timestamp":1560490434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24431-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244308","9783642244315"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24431-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}