乐胖代购免代理版

{"id":"https://openalex.org/W2174561524","doi":"https://doi.org/10.1145/1370042.1370049","title":"An EFSM-based test generation for validation of SDL specifications","display_name":"An EFSM-based test generation for validation of SDL specifications","publication_year":2008,"publication_date":"2008-05-11","ids":{"openalex":"https://openalex.org/W2174561524","doi":"https://doi.org/10.1145/1370042.1370049","mag":"2174561524"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1370042.1370049","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066624039","display_name":"W. Eric Wong","orcid":"https://orcid.org/0000-0002-1021-4753"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"W. Eric Wong","raw_affiliation_strings":["University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055159303","display_name":"Andy Restrepo","orcid":null},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andy Restrepo","raw_affiliation_strings":["University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015197477","display_name":"Yu Qi","orcid":"https://orcid.org/0000-0002-9789-8907"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yu Qi","raw_affiliation_strings":["University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057462266","display_name":"Byoungju Choi","orcid":"https://orcid.org/0000-0003-3985-7645"},"institutions":[{"id":"https://openalex.org/I138925566","display_name":"Ewha Womans University","ror":"https://ror.org/053fp5c05","country_code":"KR","type":"education","lineage":["https://openalex.org/I138925566"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Byoungju Choi","raw_affiliation_strings":["Ewha Womans University, Seoul, South Korea"],"affiliations":[{"raw_affiliation_string":"Ewha Womans University, Seoul, South Korea","institution_ids":["https://openalex.org/I138925566"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.561,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":9,"citation_normalized_percentile":{"value":0.678204,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":82,"max":83},"biblio":{"volume":null,"issue":null,"first_page":"25","last_page":"32"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9988,"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/T10142","display_name":"Formal Methods in Verification","score":0.9981,"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/extended-finite-state-machine","display_name":"Extended finite-state machine","score":0.9095925},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6607878},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.54540986},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.52693045},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.51761305},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-Based Testing","score":0.49084812}],"concepts":[{"id":"https://openalex.org/C181062253","wikidata":"https://www.wikidata.org/wiki/Q5421886","display_name":"Extended finite-state machine","level":3,"score":0.9095925},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8176783},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6607878},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.54540986},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.52776146},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.52693045},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.51761305},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.5063344},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.49084812},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.42378938},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3651584},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3316607},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.31671196},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2669729},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.13423234},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.10970557},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1006687},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08410758},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1370042.1370049","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":15,"referenced_works":["https://openalex.org/W1496915765","https://openalex.org/W1527451426","https://openalex.org/W1550509888","https://openalex.org/W1557270615","https://openalex.org/W1871638042","https://openalex.org/W2001914359","https://openalex.org/W2004929506","https://openalex.org/W2016250485","https://openalex.org/W2018951244","https://openalex.org/W2053537368","https://openalex.org/W2088192118","https://openalex.org/W2157392606","https://openalex.org/W2160282650","https://openalex.org/W2160504889","https://openalex.org/W2486710678"],"related_works":["https://openalex.org/W593718774","https://openalex.org/W2763952729","https://openalex.org/W2486976088","https://openalex.org/W2378154521","https://openalex.org/W2375657886","https://openalex.org/W2337793129","https://openalex.org/W2093565921","https://openalex.org/W1566911402","https://openalex.org/W1561763472","https://openalex.org/W1530540819"],"abstract_inverted_index":{"Existing":[0],"techniques":[1],"for":[2,9,126],"testing":[3,16,61,98],"an":[4,23,137],"SDL":[5,77],"specification":[6,64],"mainly":[7],"allow":[8],"either":[10],"black":[11],"box":[12,60],"simulation":[13],"or":[14,88],"conformance":[15,52],"to":[17,75,99,109,141],"verify":[18],"that":[19,37,49],"the":[20,33,38,63,91,116,142,163],"behavior":[21],"of":[22,62,119,136,165],"implementation":[24],"matches":[25],"its":[26,127],"corresponding":[27],"model.":[28],"However,":[29],"this":[30,146],"relies":[31],"on":[32,69],"potentially":[34],"hazardous":[35],"assumption":[36],"model":[39],"is":[40],"completely":[41],"correct.":[42],"We":[43],"propose":[44],"a":[45,121,131,159],"test":[46,106,122,139,154,168],"generation":[47,155],"framework":[48],"can":[50],"accomplish":[51],"verification":[53],"as":[54,56],"well":[55],"coverage":[57],"criteria-driven":[58],"white":[59],"itself.":[65],"This":[66],"approach":[67],"builds":[68],"earlier":[70],"work":[71],"which":[72,93],"established":[73],"how":[74],"translate":[76],"processes":[78],"into":[79],"standard":[80],"EFSMs":[81],"and":[82,134,153,157],"identify":[83],"hot":[112,143],"spots":[85],"-":[86],"nodes":[87],"edges":[89],"in":[90],"EFSM":[92,151],"should":[94],"be":[95],"prioritized":[96],"during":[97],"effectively":[100],"increase":[101],"coverage.":[102],"Our":[103],"technique":[104],"generates":[105],"sequences":[107],"intended":[108],"cover":[110],"selected":[111],"spots;":[113],"we":[114,148],"address":[115],"possible":[117],"infeasibility":[118],"such":[120],"sequence":[123,140,169],"by":[124,130],"allowing":[125],"rejection":[128],"decided":[129],"constraint":[132],"solver":[133],"re-generation":[135],"alternate":[138],"spot.":[144],"In":[145],"paper,":[147],"present":[149],"our":[150,166],"translation":[152],"tool":[156],"provide":[158],"case":[160],"study":[161],"demonstrating":[162],"effectiveness":[164],"coverage-based":[167],"selection.":[170]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2174561524","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2025-01-17T04:02:48.857977","created_date":"2016-06-24"}