乐胖代购免代理版

{"id":"https://openalex.org/W1991516365","doi":"https://doi.org/10.1016/j.entcs.2009.09.050","title":"On the Use of Uniform Random Generation of Automata for Testing","display_name":"On the Use of Uniform Random Generation of Automata for Testing","publication_year":2009,"publication_date":"2009-10-01","ids":{"openalex":"https://openalex.org/W1991516365","doi":"https://doi.org/10.1016/j.entcs.2009.09.050","mag":"1991516365"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2009.09.050","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1016/j.entcs.2009.09.050","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041596914","display_name":"Fr\u00e9d\u00e9ric Dadeau","orcid":"https://orcid.org/0000-0003-0794-5819"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Fr\u00e9d\u00e9ric Dadeau","raw_affiliation_strings":["LIFC - INRIA CASSIS Project, 16 route de Gray, 25030 Besan\u00e7on, France"],"affiliations":[{"raw_affiliation_string":"LIFC - INRIA CASSIS Project, 16 route de Gray, 25030 Besan\u00e7on, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039852027","display_name":"Jocelyn Levrey","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Jocelyn Levrey","raw_affiliation_strings":["LIFC - INRIA CASSIS Project, 16 route de Gray, 25030 Besan\u00e7on, France"],"affiliations":[{"raw_affiliation_string":"LIFC - INRIA CASSIS Project, 16 route de Gray, 25030 Besan\u00e7on, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081683705","display_name":"Pierre\u2010Cyrille H\u00e9am","orcid":"https://orcid.org/0000-0002-1125-1767"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Pierre-Cyrille H\u00e9am","raw_affiliation_strings":["LIFC - INRIA CASSIS Project, 16 route de Gray, 25030 Besan\u00e7on, France","LSV - ENS de Cachan,CNRS UMR 8643, 61, avenue du Pr\u00e9sident Wilson, 94235 Cachan cedex, France"],"affiliations":[{"raw_affiliation_string":"LIFC - INRIA CASSIS Project, 16 route de Gray, 25030 Besan\u00e7on, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"LSV - ENS de Cachan,CNRS UMR 8643, 61, avenue du Pr\u00e9sident Wilson, 94235 Cachan cedex, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041596914","https://openalex.org/A5039852027","https://openalex.org/A5081683705"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I1326498283","https://openalex.org/I1326498283","https://openalex.org/I11559806","https://openalex.org/I1294671590"],"apc_list":null,"apc_paid":null,"fwci":0.4,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":5,"citation_normalized_percentile":{"value":0.745929,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":79,"max":80},"biblio":{"volume":"253","issue":"2","first_page":"37","last_page":"51"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9976,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.8846464},{"id":"https://openalex.org/keywords/non-regression-testing","display_name":"Non-regression testing","score":0.57362103},{"id":"https://openalex.org/keywords/orthogonal-array-testing","display_name":"Orthogonal array testing","score":0.5700824},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.5373136},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.5332092},{"id":"https://openalex.org/keywords/test-strategy","display_name":"Test strategy","score":0.5218162},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.47447282},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-Based Testing","score":0.47305027},{"id":"https://openalex.org/keywords/software-performance-testing","display_name":"Software performance testing","score":0.4274658},{"id":"https://openalex.org/keywords/black-box-testing","display_name":"Black-box testing","score":0.42218846}],"concepts":[{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.8846464},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7320268},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.58870506},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.57362103},{"id":"https://openalex.org/C158324730","wikidata":"https://www.wikidata.org/wiki/Q54862604","display_name":"Orthogonal array testing","level":5,"score":0.5700824},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.5373136},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.5332092},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.5218162},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5165888},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.47447282},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.47305027},{"id":"https://openalex.org/C178059732","wikidata":"https://www.wikidata.org/wiki/Q1982529","display_name":"Software performance testing","level":5,"score":0.4274658},{"id":"https://openalex.org/C24169984","wikidata":"https://www.wikidata.org/wiki/Q879969","display_name":"Black-box testing","level":5,"score":0.42218846},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41868693},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.41271415},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4094892},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.37444443},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2662822},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.23153955},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2141645},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19366437},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17739382},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.11707318},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.11107957},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2009.09.050","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2009.09.050","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"score":0.51,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":25,"referenced_works":["https://openalex.org/W1482616635","https://openalex.org/W1504917336","https://openalex.org/W1522465028","https://openalex.org/W1530366124","https://openalex.org/W1780862850","https://openalex.org/W1975857401","https://openalex.org/W1980818933","https://openalex.org/W2001609641","https://openalex.org/W2001985931","https://openalex.org/W2004929506","https://openalex.org/W2013433986","https://openalex.org/W2020633149","https://openalex.org/W2064343889","https://openalex.org/W2076253536","https://openalex.org/W2077836627","https://openalex.org/W2088063715","https://openalex.org/W2096449544","https://openalex.org/W2107709519","https://openalex.org/W2143889043","https://openalex.org/W2158124716","https://openalex.org/W2168498016","https://openalex.org/W2276797782","https://openalex.org/W2531523631","https://openalex.org/W4251991850","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2955592476","https://openalex.org/W2952740084","https://openalex.org/W2767512594","https://openalex.org/W2550054310","https://openalex.org/W2153411587","https://openalex.org/W2098804367","https://openalex.org/W2085543444","https://openalex.org/W2074050424","https://openalex.org/W2022894844","https://openalex.org/W1568267147"],"abstract_inverted_index":{"Developing":[0],"efficient":[1],"and":[2,37,62],"automatic":[3,45],"testing":[4,58,61,70,110],"techniques":[5],"is":[6,39,50],"one":[7],"of":[8,27,44,85],"the":[9,83],"major":[10,57],"challenges":[11],"facing":[12],"software":[13],"validation":[14],"community.":[15],"In":[16],"this":[17],"paper,":[18],"we":[19,104],"show":[20,52],"how":[21,53,82],"a":[22,32,68,75,90,100],"uniform":[23],"random":[24,63,86],"generation":[25],"process":[26],"finite":[28],"automata,":[29],"developed":[30],"in":[31,99],"recent":[33],"work":[34],"by":[35],"Bassino":[36],"Nicaud,":[38],"relevant":[40],"for":[41],"many":[42],"faces":[43],"testing.":[46,64],"The":[47],"main":[48],"contribution":[49],"to":[51,54,67],"combine":[55],"two":[56],"approaches:":[59],"model-based":[60,109],"This":[65],"leads":[66],"new":[69],"technique":[71],"successfully":[72],"experimented":[73],"on":[74,89,108],"realistic":[76],"case":[77],"study.":[78],"We":[79],"also":[80],"illustrate":[81],"power":[84],"testing,":[87],"applied":[88],"Chinese":[91],"Postman":[92],"Problem":[93],"implementation,":[94],"points":[95],"out":[96],"an":[97],"error":[98],"well-known":[101],"algorithm.":[102],"Finally,":[103],"provide":[105],"some":[106],"statistics":[107],"algorithms.":[111]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1991516365","counts_by_year":[{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2025-04-18T16:07:54.121082","created_date":"2016-06-24"}