{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:47:23Z","timestamp":1725619643502},"publisher-location":"London","reference-count":10,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540760702"},{"type":"electronic","value":"9781447109372"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0937-2_10","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:23:02Z","timestamp":1318260182000},"page":"115-125","source":"Crossref","is-referenced-by-count":0,"title":["Defining the Unit Testing Level of Synchronous Data Flow Programs"],"prefix":"10.1007","author":[{"given":"Pascale","family":"Th\u00e9venod-Fosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Mazuet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Crouzet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"9","key":"10_CR1","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A Benveniste","year":"1991","unstructured":"Benveniste A, Berry G. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE 1991; 79(9): 1270\u20131282.","journal-title":"Proceedings of the IEEE"},{"key":"10_CR2","first-page":"104","volume-title":"Synchronous technology for real-time systems","author":"A Benveniste","year":"1994","unstructured":"Benveniste A, Gauthier T, Le Guernic P et al.: Synchronous technology for real-time systems. In: Proc. Real Time Systems Conference (RTS), Paris, 1994, pp 104\u2013122."},{"key":"10_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous programming of reactive systems","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs N. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993."},{"issue":"9","key":"10_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 1991; 79(9): 1305\u20131320.","journal-title":"Proceedings of the IEEE"},{"key":"10_CR5","first-page":"250","volume-title":"On statistical structural testing of synchronous data flow programs","author":"P Th\u00e9venod-Fosse","year":"1994","unstructured":"Th\u00e9venod-Fosse P, Mazuet C, Crouzet Y: On statistical structural testing of synchronous data flow programs. In: Proc. 1st European Dependable Computing Conference (EDCC-1), Berlin, 1994, pp 250\u2013267."},{"issue":"4","key":"10_CR6","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo RA, Lipton RJ, Sayward FG. Hints on test data selection: help for the practicing programmer. IEEE Computer Magazine 1978; 11(4):34\u201341.","journal-title":"IEEE Computer Magazine"},{"key":"10_CR7","first-page":"23","volume-title":"Dependable Computing and Fault-Tolerant Systems","author":"P Th\u00e9venod-Fosse","year":"1991","unstructured":"Th\u00e9venod-Fosse P: Software validation by means of statistical testing - Retrospect and future direction. In: Dependable Computing and Fault-Tolerant Systems, vol. 4, Springer-Verlag, 1991, pp 23\u201350."},{"key":"10_CR8","series-title":"Esprit Basic Research Series","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-3-642-79789-7_15","volume-title":"Predictable Dependable Computing Systems","author":"P Th\u00e9venod-Fosse","year":"1995","unstructured":"Th\u00e9venod-Fosse P, Waeselynck W, Crouzet Y: Software statistical testing. In: Predictable Dependable Computing Systems, Esprit Basic Research Series, Springer-Verlag, 1995, pp. 253\u2013272."},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"SE-10","author":"JW Duran","year":"1984","unstructured":"Duran JW, Ntafos SC. An evaluation of random testing. IEEE Transactions on Software Engineering 1984; SE-10(4):438\u2013444.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR10","volume-title":"Strat\u00e9gies de test pour des programmes synchrones - Application au langage Lustre","author":"C Mazuet","year":"1994","unstructured":"Mazuet C. Strat\u00e9gies de test pour des programmes synchrones - Application au langage Lustre. Doctoral Dissertation, INPT, Toulouse, 1994."}],"container-title":["Safe Comp 96"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0937-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:57:21Z","timestamp":1619830641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0937-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540760702","9781447109372"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0937-2_10","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}