{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:51:28Z","timestamp":1761958288714,"version":"build-2065373602"},"reference-count":25,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2009,10,1]],"date-time":"2009-10-01T00:00:00Z","timestamp":1254355200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":1397,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1016\/j.entcs.2009.09.050","type":"journal-article","created":{"date-parts":[[2009,10,9]],"date-time":"2009-10-09T11:36:37Z","timestamp":1255088197000},"page":"37-51","source":"Crossref","is-referenced-by-count":3,"title":["On the Use of Uniform Random Generation of Automata for Testing"],"prefix":"10.1016","volume":"253","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Dadeau","sequence":"first","affiliation":[]},{"given":"Jocelyn","family":"Levrey","sequence":"additional","affiliation":[]},{"given":"Pierre-Cyrille","family":"H\u00e9am","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2009.09.050_bib001","unstructured":"29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007. IEEE Computer Society, 2007"},{"year":"1996","series-title":"The B-Book","author":"Abrial","key":"10.1016\/j.entcs.2009.09.050_bib002"},{"key":"10.1016\/j.entcs.2009.09.050_bib003","series-title":"12th International Conference on Implementation and Application of Automata (CIAA'07)","first-page":"303","article-title":"REGAL: a library to randomly and exhaustively generate automata","volume":"volume 4783","author":"Bassino","year":"2007"},{"key":"10.1016\/j.entcs.2009.09.050_bib004","series-title":"GASCOM' 08","first-page":"31","article-title":"Random generation of possibly incomplete deterministic automata","author":"Bassino","year":"2008"},{"issue":"1-3","key":"10.1016\/j.entcs.2009.09.050_bib005","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/j.tcs.2007.04.001","article-title":"Enumeration and random generation of accessible automata","volume":"381","author":"Bassino","year":"2007","journal-title":"Theorerical Computer Science"},{"year":"1995","series-title":"Black-Box Testing: Techniques for Functional Testing of Software and Systems","author":"Beizer","key":"10.1016\/j.entcs.2009.09.050_bib006"},{"issue":"2","key":"10.1016\/j.entcs.2009.09.050_bib007","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10009-003-0123-8","article-title":"CLPS-B: A constraint solver to animate a B specification","volume":"6","author":"Bouquet","year":"2004","journal-title":"International Journal on Software Tools for Technology Transfer, STTT"},{"key":"10.1016\/j.entcs.2009.09.050_bib008","series-title":"International Symposium of Formal Methods Europe (FM'05)","first-page":"542","article-title":"Testing concurrent object-oriented systems with spec explorer","volume":"volume 3582","author":"Campbell","year":"2005"},{"key":"10.1016\/j.entcs.2009.09.050_bib009","series-title":"ICSE '81: Proceedings of the 5th international conference on Software engineering","first-page":"179","article-title":"A report on random testing","author":"Duran","year":"1981"},{"key":"10.1016\/j.entcs.2009.09.050_bib010","doi-asserted-by":"crossref","unstructured":"Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, and Rahul Purandare. Parallel randomized state-space search. In ICSE [1], pages 3\u201312","DOI":"10.1109\/ICSE.2007.62"},{"issue":"2","key":"10.1016\/j.entcs.2009.09.050_bib011","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(94)90226-7","article-title":"A calculus for the random generation of labelled combinatorial structures","volume":"132","author":"Flajolet","year":"1994","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"10.1016\/j.entcs.2009.09.050_bib012","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2008.11.002","article-title":"Coverage-biased random exploration of models","volume":"220","author":"Gaudel","year":"2008","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"10.1016\/j.entcs.2009.09.050_bib013","series-title":"PLDI'05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation","first-page":"213","article-title":"Dart: directed automated random testing","author":"Godefroid","year":"2005"},{"key":"10.1016\/j.entcs.2009.09.050_bib014","series-title":"WODA '08: Proceedings of the 2008 international workshop on dynamic analysis","first-page":"22","article-title":"Random testing and model checking: building a common framework for nondeterministic exploration","author":"Groce","year":"2008"},{"issue":"12","key":"10.1016\/j.entcs.2009.09.050_bib015","doi-asserted-by":"crossref","first-page":"1402","DOI":"10.1109\/32.62448","article-title":"Partition testing does not inspire confidence (program testing)","volume":"16","author":"Hamlet","year":"1990","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.entcs.2009.09.050_bib016","series-title":"Encyclopedia of Software Engineering","first-page":"970","article-title":"Random testing","author":"Hamlet","year":"1994"},{"key":"10.1016\/j.entcs.2009.09.050_bib017","article-title":"Tgv: theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems","volume":"6","author":"Jard","year":"2004","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"10.1016\/j.entcs.2009.09.050_bib018","series-title":"Proceedings of the IEEE","first-page":"1090","article-title":"Principles and methods of testing finite state machines - a survey","author":"Lee","year":"1996"},{"key":"10.1016\/j.entcs.2009.09.050_bib019","unstructured":"R. Marlet and D. Le Metayer. Security properties and java card specificities to be studied in the secsafe project, 2001"},{"key":"10.1016\/j.entcs.2009.09.050_bib020","first-page":"273","article-title":"Graphic programming using odd or even points","volume":"1","author":"Mei-Ko","year":"1962","journal-title":"Chinese Math."},{"key":"10.1016\/j.entcs.2009.09.050_bib021","series-title":"5th International Conference on Engineering of Complex Computer Systems","first-page":"119","article-title":"Criteria for Generating Specification-Based Tests","author":"Offutt","year":"1999"},{"key":"10.1016\/j.entcs.2009.09.050_bib022","series-title":"QoSA\/SOQUA","first-page":"242","article-title":"Jartege: A tool for random generation of unit tests for java classes","volume":"volume 3712","author":"Oriat","year":"2005"},{"key":"10.1016\/j.entcs.2009.09.050_bib023","doi-asserted-by":"crossref","unstructured":"Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, and Thomas Ball. Feedback-directed random test generation. In ICSE [1], pages 75\u201384","DOI":"10.1109\/ICSE.2007.37"},{"key":"10.1016\/j.entcs.2009.09.050_bib024","series-title":"ASE","first-page":"323","article-title":"Effective random testing of concurrent programs","author":"Sen","year":"2007"},{"issue":"11","key":"10.1016\/j.entcs.2009.09.050_bib025","doi-asserted-by":"crossref","first-page":"1081","DOI":"10.1002\/spe.540","article-title":"The directed chinese postman problem","volume":"33","author":"Thimbleby","year":"2003","journal-title":"Software Practice and Experience"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066109004046?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066109004046?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T17:16:35Z","timestamp":1739380595000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066109004046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,10]]}},"alternative-id":["S1571066109004046"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2009.09.050","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2009,10]]}}}