{"id":"https://openalex.org/W1992396424","doi":"https://doi.org/10.1145/1882291.1882331","title":"An enhanced test case selection approach for model-based testing","display_name":"An enhanced test case selection approach for model-based testing","publication_year":2010,"publication_date":"2010-11-07","ids":{"openalex":"https://openalex.org/W1992396424","doi":"https://doi.org/10.1145/1882291.1882331","mag":"1992396424"},"language":"en","primary_location":{"id":"doi:10.1145/1882291.1882331","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1882291.1882331","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering","raw_type":"proceedings-article"},"type":"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/A5070634219","display_name":"Hadi Hemmati","orcid":"https://orcid.org/0000-0003-0204-9812"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]},{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Hadi Hemmati","raw_affiliation_strings":["Simula Research Laboratory and University of Oslo, Oslo, Norway","[Simula Research Laboratory and University of Oslo, Oslo, Norway]"],"affiliations":[{"raw_affiliation_string":"Simula Research Laboratory and University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I2799829267","https://openalex.org/I184942183"]},{"raw_affiliation_string":"[Simula Research Laboratory and University of Oslo, Oslo, Norway]","institution_ids":["https://openalex.org/I2799829267","https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078533117","display_name":"Lionel Briand","orcid":"https://orcid.org/0000-0002-1393-1010"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]},{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Lionel Briand","raw_affiliation_strings":["Simula Research Laboratory and University of Oslo, Oslo, Norway","[Simula Research Laboratory and University of Oslo, Oslo, Norway]"],"affiliations":[{"raw_affiliation_string":"Simula Research Laboratory and University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I2799829267","https://openalex.org/I184942183"]},{"raw_affiliation_string":"[Simula Research Laboratory and University of Oslo, Oslo, Norway]","institution_ids":["https://openalex.org/I2799829267","https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052735480","display_name":"Andrea Arcuri","orcid":"https://orcid.org/0000-0003-0799-2930"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Andrea Arcuri","raw_affiliation_strings":["Simula Research Laboratory, Oslo, Norway","Simula Research Laboratory Oslo, Norway"],"affiliations":[{"raw_affiliation_string":"Simula Research Laboratory, Oslo, Norway","institution_ids":["https://openalex.org/I2799829267"]},{"raw_affiliation_string":"Simula Research Laboratory Oslo, Norway","institution_ids":["https://openalex.org/I2799829267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076142098","display_name":"Shaukat Ali","orcid":"https://orcid.org/0000-0002-9979-3519"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]},{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Shaukat Ali","raw_affiliation_strings":["Simula Research Laboratory and University of Oslo, Oslo, Norway","[Simula Research Laboratory and University of Oslo, Oslo, Norway]"],"affiliations":[{"raw_affiliation_string":"Simula Research Laboratory and University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I2799829267","https://openalex.org/I184942183"]},{"raw_affiliation_string":"[Simula Research Laboratory and University of Oslo, Oslo, Norway]","institution_ids":["https://openalex.org/I2799829267","https://openalex.org/I184942183"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5070634219"],"corresponding_institution_ids":["https://openalex.org/I184942183","https://openalex.org/I2799829267"],"apc_list":null,"apc_paid":null,"fwci":5.5551,"has_fulltext":false,"cited_by_count":54,"citation_normalized_percentile":{"value":0.95841663,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"267","last_page":"276"},"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.9990000128746033,"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.9955999851226807,"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.796311616897583},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6628823280334473},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5989059209823608},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.5878428220748901},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.5492836236953735},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5053820610046387},{"id":"https://openalex.org/keywords/similarity","display_name":"Similarity (geometry)","score":0.48696956038475037},{"id":"https://openalex.org/keywords/test-strategy","display_name":"Test strategy","score":0.4790043532848358},{"id":"https://openalex.org/keywords/model-selection","display_name":"Model selection","score":0.476086288690567},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.4709666073322296},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4666694700717926},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.45893263816833496},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4506551921367645},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44966474175453186},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.43830758333206177},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3854137659072876},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2584571838378906},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.23199307918548584}],"concepts":[{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.796311616897583},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6628823280334473},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5989059209823608},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5878428220748901},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.5492836236953735},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5053820610046387},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.48696956038475037},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.4790043532848358},{"id":"https://openalex.org/C93959086","wikidata":"https://www.wikidata.org/wiki/Q6888345","display_name":"Model selection","level":2,"score":0.476086288690567},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.4709666073322296},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4666694700717926},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.45893263816833496},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4506551921367645},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44966474175453186},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.43830758333206177},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3854137659072876},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2584571838378906},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.23199307918548584},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"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/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"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/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"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/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1882291.1882331","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1882291.1882331","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6299999952316284}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W127994762","https://openalex.org/W938539187","https://openalex.org/W1544329015","https://openalex.org/W1550894544","https://openalex.org/W1572374166","https://openalex.org/W1596127723","https://openalex.org/W1608087281","https://openalex.org/W1990061958","https://openalex.org/W1992987499","https://openalex.org/W1997380619","https://openalex.org/W2012027335","https://openalex.org/W2023240978","https://openalex.org/W2032051293","https://openalex.org/W2046747375","https://openalex.org/W2088175657","https://openalex.org/W2095873049","https://openalex.org/W2099335480","https://openalex.org/W2104420598","https://openalex.org/W2110337982","https://openalex.org/W2117799048","https://openalex.org/W2120563984","https://openalex.org/W2134502495","https://openalex.org/W2138996167","https://openalex.org/W2142062707","https://openalex.org/W2146136779","https://openalex.org/W2152150600","https://openalex.org/W2152830042","https://openalex.org/W2164485291","https://openalex.org/W2168654349","https://openalex.org/W2170771779","https://openalex.org/W2501018404","https://openalex.org/W2610179052","https://openalex.org/W2798943712","https://openalex.org/W2904250082","https://openalex.org/W3013054130","https://openalex.org/W3023540311","https://openalex.org/W4300939951"],"related_works":["https://openalex.org/W2018145554","https://openalex.org/W2127350021","https://openalex.org/W1598160211","https://openalex.org/W2061183036","https://openalex.org/W1968494916","https://openalex.org/W2030553922","https://openalex.org/W2133869707","https://openalex.org/W1486779561","https://openalex.org/W2204156854","https://openalex.org/W2591654319"],"abstract_inverted_index":{"In":[0,76,107],"recent":[1],"years,":[2],"Model-Based":[3],"Testing":[4],"(MBT)":[5],"has":[6],"attracted":[7],"an":[8,148],"increasingly":[9],"wide":[10],"interest":[11],"from":[12,29,89],"industry":[13],"and":[14,23,73,131,138],"academia.":[15],"MBT":[16,52],"allows":[17],"automatic":[18],"generation":[19],"of":[20,26,41,63,135,174,189,200],"a":[21,87,112,125,139],"large":[22,54,61],"comprehensive":[24],"set":[25],"test":[27,49,64,79,92,120,176,203],"cases":[28,65],"system":[30],"models":[31],"(e.g.,":[32],"state":[33,118,136],"machines),":[34],"which":[35,123],"leads":[36,58],"to":[37,59,85,100],"the":[38,42,90,96,171,185,190,194,201],"systematic":[39],"testing":[40],"system.":[43],"However,":[44],"even":[45],"when":[46],"using":[47,129],"simple":[48],"strategies,":[50],"applying":[51],"in":[53,161,179],"industrial":[55,149],"systems":[56],"often":[57],"generating":[60],"sets":[62],"that":[66,95,154],"cannot":[67],"possibly":[68],"be":[69],"executed":[70],"within":[71],"time":[72],"cost":[74],"constraints.":[75],"this":[77,108,145],"situation,":[78],"case":[80,121,150,177,181],"selection":[81,115,142,178],"techniques":[82],"are":[83],"employed":[84],"select":[86],"subset":[88,98,192],"entire":[91],"suite":[93],"such":[94],"selected":[97,191],"conforms":[99],"available":[101],"resources":[102],"while":[103],"maximizing":[104],"fault":[105,186,197],"detection.":[106],"paper,":[109],"we":[110,152],"propose":[111],"new":[113,126],"similarity-based":[114],"technique":[116,146],"for":[117],"machine-based":[119],"selection,":[122],"includes":[124],"similarity":[127],"function":[128],"triggers":[130],"guards":[132],"on":[133,147],"transitions":[134],"machines":[137],"genetic":[140],"algorithm-based":[141],"algorithm.":[143],"Applying":[144],"study,":[151],"show":[153],"our":[155,180],"proposed":[156],"approach":[157],"is":[158],"more":[159],"effective":[160],"detecting":[162],"real":[163],"faults":[164],"than":[165],"existing":[166],"alternatives.":[167],"We":[168],"also":[169],"assess":[170],"overall":[172],"benefits":[173],"model-based":[175],"study":[182],"by":[183],"comparing":[184],"detection":[187,198],"rate":[188,199],"with":[193],"maximum":[195],"possible":[196],"original":[202],"suite.":[204]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}