{"id":"https://openalex.org/W2242703451","doi":"https://doi.org/10.1007/s00165-015-0350-2","title":"Generation of complete test suites from mealy input/output transition systems","display_name":"Generation of complete test suites from mealy input/output transition systems","publication_year":2015,"publication_date":"2015-12-18","ids":{"openalex":"https://openalex.org/W2242703451","doi":"https://doi.org/10.1007/s00165-015-0350-2","mag":"2242703451"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-015-0350-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-015-0350-2","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0350-2","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0350-2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049598222","display_name":"Sofia Costa Paiva","orcid":null},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]},{"id":"https://openalex.org/I4210131883","display_name":"Brazilian Society of Computational and Applied Mathematics","ror":"https://ror.org/03kcw4w74","country_code":"BR","type":"other","lineage":["https://openalex.org/I4210131883"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Sofia Costa Paiva","raw_affiliation_strings":["Instituto de Ci\u00eancias Matem\u00e1ticas e de Computa\u00e7\u00e3o, Universidade de S\u00e3o Paulo (USP), PO Box 668, S\u00e3o Carlos, S\u00e3o Paulo, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Ci\u00eancias Matem\u00e1ticas e de Computa\u00e7\u00e3o, Universidade de S\u00e3o Paulo (USP), PO Box 668, S\u00e3o Carlos, S\u00e3o Paulo, Brazil","institution_ids":["https://openalex.org/I17974374","https://openalex.org/I4210131883"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074756110","display_name":"Adenilso Sim\u00e3o","orcid":"https://orcid.org/0000-0002-1454-2607"},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]},{"id":"https://openalex.org/I4210131883","display_name":"Brazilian Society of Computational and Applied Mathematics","ror":"https://ror.org/03kcw4w74","country_code":"BR","type":"other","lineage":["https://openalex.org/I4210131883"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Adenilso Simao","raw_affiliation_strings":["Instituto de Ci\u00eancias Matem\u00e1ticas e de Computa\u00e7\u00e3o, Universidade de S\u00e3o Paulo (USP), PO Box 668, S\u00e3o Carlos, S\u00e3o Paulo, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Ci\u00eancias Matem\u00e1ticas e de Computa\u00e7\u00e3o, Universidade de S\u00e3o Paulo (USP), PO Box 668, S\u00e3o Carlos, S\u00e3o Paulo, Brazil","institution_ids":["https://openalex.org/I17974374","https://openalex.org/I4210131883"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":null,"fwci":3.5342,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.9204983,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"28","issue":"1","first_page":"65","last_page":"78"},"is_retracted":false,"is_paratext":false,"is_xpac":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.9987000226974487,"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.9969000220298767,"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/computer-science","display_name":"Computer science","score":0.6970400810241699},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6898192167282104},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.6386054754257202},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5983979105949402},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.5955320596694946},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5672695636749268},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5308842062950134},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5157003998756409},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.47341781854629517},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46929508447647095},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.45216548442840576},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.43605560064315796},{"id":"https://openalex.org/keywords/test-set","display_name":"Test set","score":0.42945367097854614},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4155629873275757},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4121098220348358},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2492239773273468},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20744886994361877},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13791319727897644},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11031633615493774},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07494232058525085}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6970400810241699},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6898192167282104},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.6386054754257202},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5983979105949402},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.5955320596694946},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5672695636749268},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5308842062950134},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5157003998756409},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.47341781854629517},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46929508447647095},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.45216548442840576},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.43605560064315796},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.42945367097854614},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4155629873275757},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4121098220348358},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2492239773273468},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20744886994361877},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13791319727897644},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11031633615493774},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07494232058525085},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"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/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","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/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00165-015-0350-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-015-0350-2","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0350-2","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:002739707","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s00165-015-0350-2","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da USP (Biblioteca Digital da Produ\u00e7\u00e3o Intelectual)","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:www.producao.usp.br:BDPI/49860","is_oa":false,"landing_page_url":"http://www.producao.usp.br/handle/BDPI/49860","pdf_url":null,"source":{"id":"https://openalex.org/S4306401373","display_name":"Scientific Electronic Library Online (S\u00e3o Paulo Research Foundation, Latin American and Caribbean Center on Health Sciences Information, Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2982035970","host_organization_name":"Costa Rican Department of Social Security","host_organization_lineage":["https://openalex.org/I2982035970"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s00165-015-0350-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-015-0350-2","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0350-2","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2242703451.pdf","grobid_xml":"https://content.openalex.org/works/W2242703451.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W95569772","https://openalex.org/W1504226343","https://openalex.org/W1504797356","https://openalex.org/W1522465028","https://openalex.org/W1527688737","https://openalex.org/W1535434399","https://openalex.org/W1589758130","https://openalex.org/W1607386006","https://openalex.org/W1903661948","https://openalex.org/W1966364300","https://openalex.org/W1995545863","https://openalex.org/W2004929506","https://openalex.org/W2008813808","https://openalex.org/W2011762419","https://openalex.org/W2013254626","https://openalex.org/W2030553922","https://openalex.org/W2061966517","https://openalex.org/W2083501371","https://openalex.org/W2084017825","https://openalex.org/W2098719350","https://openalex.org/W2105394284","https://openalex.org/W2112640524","https://openalex.org/W2112647229","https://openalex.org/W2112692551","https://openalex.org/W2112944455","https://openalex.org/W2119296494","https://openalex.org/W2124621264","https://openalex.org/W2126818664","https://openalex.org/W2132457296","https://openalex.org/W2134787295","https://openalex.org/W2149542769","https://openalex.org/W2159121388","https://openalex.org/W2161123813","https://openalex.org/W2171109896","https://openalex.org/W2186520231","https://openalex.org/W2765906234","https://openalex.org/W4251245562"],"related_works":["https://openalex.org/W2972137082","https://openalex.org/W2103907367","https://openalex.org/W2171444282","https://openalex.org/W1986231034","https://openalex.org/W2129713538","https://openalex.org/W1970880128","https://openalex.org/W4301628046","https://openalex.org/W2055589924","https://openalex.org/W2951627661","https://openalex.org/W2408214455"],"abstract_inverted_index":{"Abstract":[0],"Model-based":[1],"testing":[2,7],"overcomes":[3],"challenges":[4],"in":[5,111,146],"software":[6],"by":[8,58],"generating":[9],"automated":[10],"test":[11,38,74,107,120],"cases":[12,39],"from":[13,49,150],"behavior":[14],"models,":[15],"e.g.":[16],"finite":[17],"state":[18],"machine":[19],"(FSM)":[20],"and":[21,43,97,101,131],"input/output":[22],"transition":[23,94],"system":[24],"(IOTS).":[25],"Despite":[26],"the":[27,33,54,59,81,155],"existence":[28],"of":[29,35,37,115,137],"methods":[30,48],"for":[31,62,77,85,109,126,166],"IOTSs,":[32,138],"problem":[34],"selection":[36],"is":[40,90,132],"an":[41],"important":[42],"difficult":[44],"topic.":[45],"The":[46,87,117],"current":[47],"IOTSs":[50,78,110],"do":[51],"not":[52],"provide":[53],"same":[55],"support":[56],"offered":[57],"existing":[60],"theory":[61],"FSMs,":[63],"as":[64],"complete":[65,106,123],"fault":[66,124,129],"coverage.":[67],"In":[68],"this":[69],"paper,":[70],"we":[71],"propose":[72],"a":[73,93,98,112,127,135,151,163],"generation":[75],"method":[76,83,118,165],"based":[79],"on":[80],"W":[82],"developed":[84],"FSMs.":[86],"basic":[88],"idea":[89],"to":[91,104],"generate":[92,105],"cover":[95],"set":[96,100],"characterization":[99],"concatenate":[102],"them":[103],"suites":[108,121],"bounded":[113],"number":[114],"steps.":[116],"generates":[119],"with":[122],"coverage":[125],"given":[128],"domain":[130],"targeted":[133],"at":[134],"class":[136],"called":[139],"mealy":[140],"IOTS,":[141],"which":[142],"accepts":[143],"inputs":[144],"only":[145],"stable":[147],"states.":[148],"Results":[149],"case":[152],"study":[153],"show":[154],"proposed":[156],"algorithm":[157],"can":[158],"achieve":[159],"better":[160],"results":[161],"than":[162],"classical":[164],"IOTSs.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2016-06-24T00:00:00"}