{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:03Z","timestamp":1742598603157,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584261"},{"type":"electronic","value":"9783540487852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58426-9_135","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:59:30Z","timestamp":1330271970000},"page":"250-267","source":"Crossref","is-referenced-by-count":4,"title":["On statistical structural testing of synchronous data flow programs"],"prefix":"10.1007","author":[{"given":"P.","family":"Th\u00e9venod-Fosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Mazuet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Crouzet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"no.9","key":"15_CR1","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste, G. Berry, \u201cThe synchronous approach to reactive and real-time systems,\u201d Proc. of the IEEE, vol. 79, no. 9, pp. 1270\u20131282, September 1991.","journal-title":"Proc. of the IEEE"},{"issue":"no.4","key":"15_CR2","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"SE-11","author":"S. Rapps","year":"1985","unstructured":"S. Rapps, E. J. Weyuker, \u201cSelecting software test data using data flow information,\u201d IEEE Trans. on Software Engineering, vol. SE-11, no. 4, pp. 367\u2013375, April 1985.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"no.6","key":"15_CR3","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1109\/32.6165","volume":"SE-14","author":"S. C. Ntafos","year":"1988","unstructured":"S. C. Ntafos, \u201cA comparison of some structural testing strategies,\u201d IEEE Trans. on Software Engineering, vol. SE-14, no. 6, pp. 868\u2013874, June 1988.","journal-title":"IEEE Trans. on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"P. Caspi, D. Pilaud, N. Halbwachs, J. A. Plaice, \u201cLUSTRE: a declarative language for programming synchronous systems,\u201d Proc. 14th ACM Symp. on Principles of Programming Languages, Munich, Germany, January 1987.","key":"15_CR4","DOI":"10.1145\/41625.41641"},{"issue":"no.9","key":"15_CR5","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud, \u201cThe synchronous data flow programming language LUSTRE,\u201d Proc. of the IEEE, vol. 79, no. 9, pp. 1305\u20131320, September 1991.","journal-title":"Proc. of the IEEE"},{"doi-asserted-by":"crossref","unstructured":"P. Th\u00e9venod-Fosse, \u201cSoftware validation by means of statistical testing: retrospect and future direction,\u201d Preprints 1st IEEE Working Conf. on Dependable Computing for Critical Applications (DCCA-1), Santa Barbara, USA, pp. 15\u201322, August 1989. Published in Dependable Computing and Fault-Tolerant Systems, vol.4, Springer-Verlag, pp. 23\u201350, 1991.","key":"15_CR6","DOI":"10.1007\/978-3-7091-9123-1_2"},{"issue":"no.4","key":"15_CR7","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"SE-10","author":"J. W. Duran","year":"1984","unstructured":"J. W. Duran, S. C. Ntafos, \u201cAn evaluation of random testing,\u201d IEEE Trans. on Software Engineering, vol. SE-10, no. 4, pp. 438\u2013444, July 1984.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"no.9","key":"15_CR8","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.159839","volume":"18","author":"N. Halbwachs","year":"1992","unstructured":"N. Halbwachs, F. Lagnier, C. Ratel, \u201cProgramming and verifying real-time systems by means of the synchronous data-flow language LUSTRE,\u201d IEEE Trans. on Software Engineering, vol. 18, no. 9, pp. 785\u2013793, September 1992.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"no.9","key":"15_CR9","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"F. Boussinot, R. De Simone, \u201cThe ESTEREL language,\u201d Froc. of the IEEE, vol. 79, no. 9, pp. 1293\u20131304, September 1991.","journal-title":"Froc. of the IEEE"},{"key":"15_CR10","volume-title":"The art of software testing","author":"G. J. Myers","year":"1979","unstructured":"G. J. Myers, The art of software testing, Wiley, New York, 1979."},{"key":"15_CR11","volume-title":"Software testing techniques","author":"B. Beizer","year":"1990","unstructured":"B. Beizer, Software testing techniques, Van Nostrand Reinhold, New York, 1990."},{"doi-asserted-by":"crossref","unstructured":"R. Hamlet, \u201cTheoretical comparison of testing methods,\u201d Proc. 3rd IEEE Symp. on Software Testing, Analysis and Verification (TAV-3), Key West, USA, pp. 28\u201337, December 1989.","key":"15_CR12","DOI":"10.1145\/75308.75313"},{"doi-asserted-by":"crossref","unstructured":"P. Th\u00e9venod-Fosse, H. Waeselynck, Y. Crouzet, \u201cAn experimental study on software structural testing: deterministic versus random input generation,\u201d Proc. 21st IEEE Symp. on Fault-Tolerant Computing (FTCS-21), Montr\u00e9al, Canada, pp. 410\u2013417, June 1991.","key":"15_CR13","DOI":"10.1109\/FTCS.1991.146694"},{"doi-asserted-by":"crossref","unstructured":"P. Th\u00e9venod-Fosse, H. Waeselynck, \u201cOn functional statistical testing designed from software behavior models,\u201d Preprints 3rd IEEE Working Conference on Dependable Computing for Critical Applications (DCCA-3), Palerme, Italy, pp. 3\u201312, September 1992. Published in Dependable Computing and Fault-Tolerant Systems, vol. 8, Springer-Verlag, pp. 3\u201328, 1993.","key":"15_CR14","DOI":"10.1007\/978-3-7091-4009-3_1"},{"doi-asserted-by":"crossref","unstructured":"P. Th\u00e9venod-Fosse, H. Waeselynck, \u201cSTATEMATE applied to statistical software testing,\u201d Proc. 1st ACM Symposium on Software Testing and Analysis (ISSTA'93), Cambridge, USA, pp. 99\u2013109, June 1993.","key":"15_CR15","DOI":"10.1145\/174146.154262"},{"issue":"no.3","key":"15_CR16","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T. S. Chow","year":"1978","unstructured":"T. S. Chow, \u201cTesting software design modeled by finite state machines,\u201d IEEE Trans. on Software Engineering, vol. 4, no. 3, pp. 178\u2013187, March 1978.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"no.6","key":"15_CR17","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"S. Fujiwara et al., \u201cTest selection based on finite state models,\u201d IEEE Trans. on Software Engineering, vol. 17, no. 6, pp. 591\u2013603, June 1991.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"no.5","key":"15_CR18","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0140-3664(92)90092-S","volume":"15","author":"H. Ural","year":"1992","unstructured":"H. Ural, \u201cFormal methods for test sequence generation,\u201d Computer Communications, vol. 15, no. 5, pp. 311\u2013325, June 1992.","journal-title":"Computer Communications"},{"key":"15_CR19","volume-title":"Switching and finite automata theory","author":"Z. Kohavi","year":"1970","unstructured":"Z. Kohavi, Switching and finite automata theory, McGraw-Hill Computer Science Series, New York, 1970."},{"issue":"no.4","key":"15_CR20","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R. A. DeMillo","year":"1978","unstructured":"R. A. DeMillo, R. J. Lipton, F. G. Sayward, \u201cHints on test data selection: help for the practicing programmer,\u201d IEEE Computer Magazine, vol. 11, no. 4, pp. 34\u201341, April 1978.","journal-title":"IEEE Computer Magazine"},{"unstructured":"R. A. DeMillo, \u201cMutation analysis as a tool for software quality assurance,\u201d Proc. COMPSAC' 80, Chicago, USA, pp. 390\u2013393, October 1980.","key":"15_CR21"},{"unstructured":"H. Waeselynck, \u201cV\u00e9rification de logiciels critiques par le test statistique,\u201d Doctoral Thesis, Institut National Polytechnique de Toulouse, LAAS Report no. 93.006, January 1993.","key":"15_CR22"},{"unstructured":"S. C. Ntafos, \u201cOn testing with required element,\u201d Proc. COMPSAC'81, pp. 132\u2013139, November 1981.","key":"15_CR23"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-1"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58426-9_135.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:28:09Z","timestamp":1742596089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58426-9_135"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584261","9783540487852"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-58426-9_135","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}