{"id":"https://openalex.org/W4205838562","doi":"https://doi.org/10.1109/ase51524.2021.9678593","title":"Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems","display_name":"Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems","publication_year":2021,"publication_date":"2021-11-01","ids":{"openalex":"https://openalex.org/W4205838562","doi":"https://doi.org/10.1109/ase51524.2021.9678593"},"language":"en","primary_location":{"id":"doi:10.1109/ase51524.2021.9678593","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678593","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","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/A5024411628","display_name":"Thomas Laurent","orcid":"https://orcid.org/0000-0002-0953-774X"},"institutions":[{"id":"https://openalex.org/I100930933","display_name":"University College Dublin","ror":"https://ror.org/05m7pjf47","country_code":"IE","type":"education","lineage":["https://openalex.org/I100930933"]}],"countries":["IE"],"is_corresponding":true,"raw_author_name":"Thomas Laurent","raw_affiliation_strings":["Lero and University College Dublin, Dublin, Ireland"],"affiliations":[{"raw_affiliation_string":"Lero and University College Dublin, Dublin, Ireland","institution_ids":["https://openalex.org/I100930933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021486887","display_name":"Paolo Arcaini","orcid":"https://orcid.org/0000-0002-6253-4062"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Paolo Arcaini","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103091045","display_name":"Fuyuki Ishikawa","orcid":"https://orcid.org/0000-0001-7725-2618"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Fuyuki Ishikawa","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020823954","display_name":"Anthony Ventresque","orcid":"https://orcid.org/0000-0003-2064-1238"},"institutions":[{"id":"https://openalex.org/I100930933","display_name":"University College Dublin","ror":"https://ror.org/05m7pjf47","country_code":"IE","type":"education","lineage":["https://openalex.org/I100930933"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Anthony Ventresque","raw_affiliation_strings":["Lero and University College Dublin, Dublin, Ireland"],"affiliations":[{"raw_affiliation_string":"Lero and University College Dublin, Dublin, Ireland","institution_ids":["https://openalex.org/I100930933"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5024411628"],"corresponding_institution_ids":["https://openalex.org/I100930933"],"apc_list":null,"apc_paid":null,"fwci":0.3092,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.44117647,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1327","last_page":"1331"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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.9998000264167786,"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.9984999895095825,"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/computer-science","display_name":"Computer science","score":0.7045376300811768},{"id":"https://openalex.org/keywords/decision-system","display_name":"Decision system","score":0.49660712480545044},{"id":"https://openalex.org/keywords/decision-problem","display_name":"Decision problem","score":0.451774537563324},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.44942498207092285},{"id":"https://openalex.org/keywords/system-under-test","display_name":"System under test","score":0.4409349262714386},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.4232676029205322},{"id":"https://openalex.org/keywords/optimal-decision","display_name":"Optimal decision","score":0.413772314786911},{"id":"https://openalex.org/keywords/decision-analysis","display_name":"Decision analysis","score":0.4131212532520294},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.38288411498069763},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3466747999191284},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.33742865920066833},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.24361011385917664},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.2434729039669037},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23422032594680786},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18675851821899414},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17881959676742554},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12954190373420715},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.10154703259468079}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7045376300811768},{"id":"https://openalex.org/C2986909951","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision system","level":2,"score":0.49660712480545044},{"id":"https://openalex.org/C115988155","wikidata":"https://www.wikidata.org/wiki/Q3262192","display_name":"Decision problem","level":2,"score":0.451774537563324},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.44942498207092285},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.4409349262714386},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.4232676029205322},{"id":"https://openalex.org/C150325174","wikidata":"https://www.wikidata.org/wiki/Q4335500","display_name":"Optimal decision","level":3,"score":0.413772314786911},{"id":"https://openalex.org/C186116695","wikidata":"https://www.wikidata.org/wiki/Q5249226","display_name":"Decision analysis","level":2,"score":0.4131212532520294},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.38288411498069763},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3466747999191284},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.33742865920066833},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.24361011385917664},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2434729039669037},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23422032594680786},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18675851821899414},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17881959676742554},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12954190373420715},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.10154703259468079},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase51524.2021.9678593","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678593","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.8100000023841858,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320847","display_name":"Science Foundation Ireland","ror":"https://ror.org/0271asj38"},{"id":"https://openalex.org/F4320321056","display_name":"Irish Research Council","ror":"https://ror.org/051xex213"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1564659436","https://openalex.org/W1710734607","https://openalex.org/W1971650562","https://openalex.org/W2096449544","https://openalex.org/W2162200351","https://openalex.org/W2293617424","https://openalex.org/W2351085620","https://openalex.org/W2499828064","https://openalex.org/W2797911717","https://openalex.org/W2804337238","https://openalex.org/W2954746520","https://openalex.org/W2955224284","https://openalex.org/W2977948286","https://openalex.org/W2982138961","https://openalex.org/W2997401484","https://openalex.org/W3098295108","https://openalex.org/W3136318222","https://openalex.org/W4205241876","https://openalex.org/W4298110250","https://openalex.org/W6637688222"],"related_works":["https://openalex.org/W857268061","https://openalex.org/W14037260","https://openalex.org/W82626187","https://openalex.org/W2350089614","https://openalex.org/W1496965390","https://openalex.org/W184555552","https://openalex.org/W2376996754","https://openalex.org/W787402332","https://openalex.org/W2179845978","https://openalex.org/W2103484538"],"abstract_inverted_index":{"Decision":[0,5],"systems":[1,7,29,46],"such":[2,28,151],"as":[3,32,78,152],"Multiple-Criteria":[4],"Analysis":[6],"formulate":[8],"a":[9,15,25,114,139,158,163],"decision":[10,122,159],"process":[11],"in":[12,37,75,95],"terms":[13],"of":[14,24,56,92,109,120,129],"mathematical":[16],"function":[17],"that":[18,58,86],"takes":[19],"into":[20],"consideration":[21],"different":[22],"aspects":[23],"problem.":[26],"Testing":[27],"is":[30],"crucial,":[31],"they":[33,79],"are":[34],"usually":[35],"employed":[36],"safety-critical":[38],"systems.":[39],"A":[40],"good":[41,72],"test":[42,73],"suite":[43],"for":[44,102,106,143],"these":[45],"should":[47],"be":[48,60,81],"able":[49],"to":[50,133],"exercise":[51],"all":[52],"the":[53,63,100,118,121,127,130,153],"possible":[54,90],"types":[55],"decisions":[57],"can":[59,80],"taken":[61],"by":[62,83],"system.":[64],"Classic":[65],"structural":[66,135],"coverage":[67,104,136],"criteria":[68,105],"do":[69],"not":[70],"provide":[71],"suites":[74],"this":[76,96,107],"sense,":[77],"fulfilled":[82],"simple":[84],"tests":[85],"only":[87],"cover":[88],"one":[89],"type":[91],"decision.":[93],"Thus,":[94],"paper":[97],"we":[98,112],"discuss":[99,148],"need":[101],"tailored":[103],"class":[108],"systems,":[110],"and":[111],"propose":[113],"criterion":[115,154],"based":[116],"on":[117,138],"perturbation":[119],"systems\u2019":[123],"parameters.":[124],"We":[125,146],"demonstrate":[126],"effectiveness":[128],"criterion,":[131],"compared":[132],"classic":[134],"criteria,":[137],"path":[140],"planner":[141],"system":[142],"autonomous":[144],"driving.":[145],"also":[147],"other":[149],"benefits,":[150],"helping":[155],"explain":[156],"why":[157],"was":[160],"made":[161],"during":[162],"test.":[164]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}