乐胖代购免代理版

{"id":"https://openalex.org/W2943565955","doi":"https://doi.org/10.1109/latw.2019.8704603","title":"Analyzing graph-based algorithms employed to generate test cases from finite state machines","display_name":"Analyzing graph-based algorithms employed to generate test cases from finite state machines","publication_year":2019,"publication_date":"2019-03-01","ids":{"openalex":"https://openalex.org/W2943565955","doi":"https://doi.org/10.1109/latw.2019.8704603","mag":"2943565955"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/latw.2019.8704603","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/A5025196100","display_name":"Matheus Monteiro Mariano","orcid":"https://orcid.org/0000-0002-6629-1846"},"institutions":[{"id":"https://openalex.org/I80849659","display_name":"National Institute for Space Research","ror":"https://ror.org/04xbn6x09","country_code":"BR","type":"funder","lineage":["https://openalex.org/I4210151455","https://openalex.org/I80849659"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Matheus Monteiro Mariano","raw_affiliation_strings":["[Laboratory of Computing and Applied Mathematics, National Institute for Space Research INPE, S\u00e3o Jos\u00e9 dos Campos/SP, Brazil]"],"affiliations":[{"raw_affiliation_string":"[Laboratory of Computing and Applied Mathematics, National Institute for Space Research INPE, S\u00e3o Jos\u00e9 dos Campos/SP, Brazil]","institution_ids":["https://openalex.org/I80849659"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050603863","display_name":"\u00c9rica Ferreira de Souza","orcid":"https://orcid.org/0000-0002-5425-145X"},"institutions":[{"id":"https://openalex.org/I1283613182","display_name":"Universidade Tecnol\u00f3gica Federal do Paran\u00e1","ror":"https://ror.org/002v2kq79","country_code":"BR","type":"funder","lineage":["https://openalex.org/I1283613182"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Erica F. Souza","raw_affiliation_strings":["[Department of Computer, Federal Technological University UTFPR, Corn\u00e9lio Proc\u00f3pio/PR, Brazil]"],"affiliations":[{"raw_affiliation_string":"[Department of Computer, Federal Technological University UTFPR, Corn\u00e9lio Proc\u00f3pio/PR, Brazil]","institution_ids":["https://openalex.org/I1283613182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091725560","display_name":"Andr\u00e9 Takeshi Endo","orcid":"https://orcid.org/0000-0002-8737-1749"},"institutions":[{"id":"https://openalex.org/I1283613182","display_name":"Universidade Tecnol\u00f3gica Federal do Paran\u00e1","ror":"https://ror.org/002v2kq79","country_code":"BR","type":"funder","lineage":["https://openalex.org/I1283613182"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Andre T. Endo","raw_affiliation_strings":["[Department of Computer, Federal Technological University UTFPR, Corn\u00e9lio Proc\u00f3pio/PR, Brazil]"],"affiliations":[{"raw_affiliation_string":"[Department of Computer, Federal Technological University UTFPR, Corn\u00e9lio Proc\u00f3pio/PR, Brazil]","institution_ids":["https://openalex.org/I1283613182"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042368174","display_name":"Nandamudi Lankalapalli Vijaykumar","orcid":"https://orcid.org/0000-0002-9025-0841"},"institutions":[{"id":"https://openalex.org/I80849659","display_name":"National Institute for Space Research","ror":"https://ror.org/04xbn6x09","country_code":"BR","type":"funder","lineage":["https://openalex.org/I4210151455","https://openalex.org/I80849659"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Nandamudi L. Vijaykumar","raw_affiliation_strings":["[Laboratory of Computing and Applied Mathematics, National Institute for Space Research INPE, S\u00e3o Jos\u00e9 dos Campos/SP, Brazil]"],"affiliations":[{"raw_affiliation_string":"[Laboratory of Computing and Applied Mathematics, National Institute for Space Research INPE, S\u00e3o Jos\u00e9 dos Campos/SP, Brazil]","institution_ids":["https://openalex.org/I80849659"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.244,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":9,"citation_normalized_percentile":{"value":0.834223,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":84,"max":85},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9992,"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/T10260","display_name":"Software Engineering Research","score":0.9984,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/test-suite","display_name":"Test suite","score":0.8036123},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-Based Testing","score":0.5109231}],"concepts":[{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.8036123},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.7252003},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6944882},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6725361},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5519971},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5109231},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.47344944},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.42414317},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36512017},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.14714155},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/latw.2019.8704603","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":20,"referenced_works":["https://openalex.org/W1505875330","https://openalex.org/W1509343160","https://openalex.org/W1781730958","https://openalex.org/W1936022305","https://openalex.org/W1975850533","https://openalex.org/W2008813808","https://openalex.org/W2012588232","https://openalex.org/W2023898070","https://openalex.org/W2043283064","https://openalex.org/W2056102643","https://openalex.org/W2064284095","https://openalex.org/W2070509815","https://openalex.org/W2114572461","https://openalex.org/W2121954581","https://openalex.org/W2139448856","https://openalex.org/W2242749110","https://openalex.org/W3010856131","https://openalex.org/W3171383592","https://openalex.org/W4232896595","https://openalex.org/W4242712865"],"related_works":["https://openalex.org/W2591654319","https://openalex.org/W2378154521","https://openalex.org/W2204156854","https://openalex.org/W2133869707","https://openalex.org/W2127350021","https://openalex.org/W2061183036","https://openalex.org/W2018145554","https://openalex.org/W1968494916","https://openalex.org/W1598160211","https://openalex.org/W1486779561"],"abstract_inverted_index":{"Context:":[0],"Model-Based":[1],"Testing":[2],"(MBT)":[3],"is":[4,33,60],"a":[5,34,56,61,127],"technique":[6],"that":[7,137],"employs":[8],"formal":[9],"models":[10],"to":[11,79,84,133,187],"represent":[12],"reactive":[13],"systems'":[14],"behav-ior":[15],"and":[16,25,68,100,109,119,151,172],"generates":[17],"test":[18,37,72,86,170,173],"cases.":[19],"Such":[20],"systems":[21],"are":[22,46],"mostly":[23],"specified":[24],"verified":[26],"using":[27],"Finite":[28],"State":[29],"Machines":[30],"(FSMs).":[31],"There":[32],"plethora":[35],"of":[36,44,63,70,116,167,169,183],"generation":[38,73],"algorithms":[39,82,104,112,136,147],"in":[40,113,122,141,153,165],"the":[41,95,106,114,135,162],"literature.":[42],"Most":[43],"them":[45],"graph-based":[47,81],"once":[48],"an":[49,123],"FSM":[50,89],"can":[51],"be":[52],"formally":[53],"defined":[54],"as":[55],"graph.":[57],"Nevertheless,":[58],"there":[59],"lack":[62],"studies":[64],"on":[65],"analyzing":[66],"cost":[67],"efficiency":[69],"FSM-based":[71],"algorithms.":[74,189],"Objective:":[75],"This":[76],"study":[77],"aims":[78],"compare":[80,94],"employed":[83],"generate":[85],"cases":[87,171],"from":[88],"models.":[90],"In":[91,176],"particular,":[92],"we":[93],"Chinese":[96],"Postman":[97],"Problem":[98],"(CPP)":[99],"H-Switch":[101],"Cover":[102],"(HSC)":[103],"with":[105,161],"well-known":[107],"depth-first":[108],"breadth-first":[110],"searches":[111],"context":[115],"covering":[117],"all-transitions":[118],"all-transition-pairs":[120],"criteria":[121],"FSM.":[124,144],"Method:":[125],"First,":[126],"systematic":[128],"literature":[129],"mapping":[130],"was":[131],"conducted":[132],"summarize":[134],"have":[138],"been":[139],"adopted":[140],"MBT,":[142],"considering":[143],"The":[145],"main":[146],"found":[148],"were":[149],"implemented":[150],"analyzed":[152],"different":[154],"experiments.":[155],"Results:":[156],"CPP":[157,178],"presented":[158,180],"better":[159],"results":[160],"FSMs":[163],"used":[164],"terms":[166],"number":[168],"suite":[174],"size.":[175],"addition,":[177],"also":[179],"low":[181],"distribution":[182],"average":[184],"length":[185],"compared":[186],"other":[188]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2943565955","counts_by_year":[{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-02-24T12:50:27.066500","created_date":"2019-05-09"}