{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:42Z","timestamp":1772164002580,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[1993,7,1]],"date-time":"1993-07-01T00:00:00Z","timestamp":741484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1993,7]]},"DOI":"10.1145\/154183.154262","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T12:41:00Z","timestamp":1075812060000},"page":"99-109","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["STATEMATE applied to statistical software testing"],"prefix":"10.1145","author":[{"given":"P.","family":"Th\u00e9venod-Fosse","sequence":"first","affiliation":[]},{"given":"H.","family":"Waeselynck","sequence":"additional","affiliation":[]}],"member":"320","published-online":{"date-parts":[[1993,7]]},"reference":[{"key":"e_1_3_2_1_1_2","volume-title":"Software testing techniques","author":"Beizer B.","year":"1990","unstructured":"B. Beizer , Software testing techniques , Van Nostrand Reinhold , New York , Second Edition, 1990 . B. Beizer, Software testing techniques, Van Nostrand Reinhold, New York, Second Edition, 1990."},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/24.257793"},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/123041.123056"},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75313"},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.62448"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_9_2","first-page":"54","volume-title":"USA","author":"Harel D.","year":"1987","unstructured":"D. Harel the formal semantics of Statecharts,\" Proc. 2rid IEEE Symposium on Logic in Computer Science, iEEE Press, NY , USA , pp. 54 - 64 , 1987 . D. Harel et al., \"On the formal semantics of Statecharts,\" Proc. 2rid IEEE Symposium on Logic in Computer Science, iEEE Press, NY, USA, pp. 54-64, 1987."},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"e_1_3_2_1_11_2","series-title":"Computer Science Series","volume-title":"Functional program testing and analysis","author":"Howden W. E.","year":"1987","unstructured":"W. E. Howden , Functional program testing and analysis , Computer Science Series , McGraw-Hill Book Company , 1987 . W. E. Howden, Functional program testing and analysis, Computer Science Series, McGraw-Hill Book Company, 1987."},{"key":"e_1_3_2_1_12_2","first-page":"202","volume-title":"8th Int. Conference on Logic Programming, Logic Programming M.I.T. Press","author":"Matte B.","year":"1991","unstructured":"B. Matte , \"Toward automatic test data set selection using algebraic specifications and logic programming,\" Proc . 8th Int. Conference on Logic Programming, Logic Programming M.I.T. Press , Paris, France , pp. 202 - 219 , 1991 . B. Matte, \"Toward automatic test data set selection using algebraic specifications and logic programming,\" Proc. 8th Int. Conference on Logic Programming, Logic Programming M.I.T. Press, Paris, France, pp. 202-219, 1991."},{"key":"e_1_3_2_1_13_2","volume-title":"The art of software testing","author":"Myers G. J.","year":"1979","unstructured":"G. J. Myers , The art of software testing , Wiley , New York , 1979 . G. J. Myers, The art of software testing, Wiley, New York, 1979."},{"key":"e_1_3_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.6165"},{"key":"e_1_3_2_1_15_2","volume-title":"TACS '91","author":"Pnueli A.","year":"1991","unstructured":"A. Pnueli and M. Shalev , \" What is in a step: on the semantics of Statecharts,\" Proc . TACS '91 , Sendal, Japan , September 1991 . A. Pnueli and M. Shalev, \"What is in a step: on the semantics of Statecharts,\" Proc. TACS '91, Sendal, Japan, September 1991."},{"key":"e_1_3_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"e_1_3_2_1_17_2","first-page":"15","volume-title":"USA","volume":"4","author":"Fosse P.","year":"1989","unstructured":"P. Th6venod- Fosse , \"Software validation by means of statistical testing' retrospect and future direction,\" Preprints 1st IEEE Working Conference on Dependable Computing for Critical Applications (DCCA-1), Santa Barbara , USA , pp. 15 - 22 , August 1989 . Published in Dependable Computing and Fault- Tolerant Systems , vol. 4 (Eds. A. Avizienis, J-C. Laprie), Springer-Verlag, pp. 23-50, 1991. P. Th6venod-Fosse, \"Software validation by means of statistical testing' retrospect and future direction,\" Preprints 1st IEEE Working Conference on Dependable Computing for Critical Applications (DCCA-1), Santa Barbara, USA, pp. 15-22, August 1989. Published in Dependable Computing and Fault- Tolerant Systems, vol. 4 (Eds. A. Avizienis, J-C. Laprie), Springer-Verlag, pp. 23-50, 1991."},{"key":"e_1_3_2_1_18_2","first-page":"410","volume-title":"21st IEEE Symposium on Fault- Tolerant Computing (FTCS-21)","author":"Fosse P.","year":"1991","unstructured":"P. Th6venod- Fosse , H. Waeselynck and Y. Crouzet , \" An experimental study on software structural testing: deterministic versus random input generation,\" Proc . 21st IEEE Symposium on Fault- Tolerant Computing (FTCS-21) , Montr6al, Canada , pp. 410 - 417 , June 1991 . P. Th6venod-Fosse, H. Waeselynck and Y. Crouzet, \"An experimental study on software structural testing: deterministic versus random input generation,\" Proc. 21st IEEE Symposium on Fault- Tolerant Computing (FTCS-21), Montr6al, Canada, pp. 410-417, June 1991."},{"key":"e_1_3_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370010203"},{"key":"e_1_3_2_1_21_2","first-page":"3","volume-title":"Palerme","author":"Fosse P.","year":"1992","unstructured":"P. Th6venod- Fosse and H. Waeselynck , \" On functional statistical testing designed from software behavior models,\" Preprints 3rd IEEE Working Conference on Dependable Computing for Critical Applications (DCCA-3) , Palerme , Italy , pp. 3 - 12 , September 1992 . P. Th6venod-Fosse and H. Waeselynck, \"On functional statistical testing designed from software behavior models,\" Preprints 3rd IEEE Working Conference on Dependable Computing for Critical Applications (DCCA-3), Palerme, Italy, pp. 3-12, September 1992."},{"issue":"93","key":"e_1_3_2_1_22_2","first-page":"006","article-title":"V6rification de logiciels critiques par le test statistique","author":"Waeselynck H.","year":"1993","unstructured":"H. Waeselynck , \" V6rification de logiciels critiques par le test statistique \", Doctoral Thesis, Institut National Polytechnique de Toulouse, LAAS report no. 93 . 006 , January 1993 . H. Waeselynck, \"V6rification de logiciels critiques par le test statistique\", Doctoral Thesis, Institut National Polytechnique de Toulouse, LAAS report no. 93.006, January 1993.","journal-title":"Doctoral Thesis, Institut National Polytechnique de Toulouse, LAAS report"},{"key":"e_1_3_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"e_1_3_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.83906"}],"event":{"name":"ISSTA93: International Symposium on Software Testing and Analysis","location":"Cambridge Massachusetts USA","acronym":"ISSTA93","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/154183.154262","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/154183.154262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:26:01Z","timestamp":1750263961000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/154183.154262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,7]]},"references-count":23,"alternative-id":["10.1145\/154183.154262","10.1145\/154183"],"URL":"https:\/\/doi.org\/10.1145\/154183.154262","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/174146.154262","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1993,7]]},"assertion":[{"value":"1993-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}