{"id":"https://openalex.org/W2023738761","doi":"https://doi.org/10.1145/2602576.2602589","title":"Regression verification of AADL models through slicing of system dependence graphs","display_name":"Regression verification of AADL models through slicing of system dependence graphs","publication_year":2014,"publication_date":"2014-06-27","ids":{"openalex":"https://openalex.org/W2023738761","doi":"https://doi.org/10.1145/2602576.2602589","mag":"2023738761"},"language":"en","primary_location":{"id":"doi:10.1145/2602576.2602589","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2602576.2602589","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures","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/A5067986694","display_name":"Andreas Johnsen","orcid":null},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Andreas Johnsen","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045641364","display_name":"Kristina Lundqvist","orcid":"https://orcid.org/0000-0003-0904-3712"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Kristina Lundqvist","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079870005","display_name":"Paul Pettersson","orcid":"https://orcid.org/0000-0003-4040-3480"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Paul Pettersson","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036135391","display_name":"Kaj H\u00e4nninen","orcid":null},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Kaj H\u00e4nninen","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5067986694"],"corresponding_institution_ids":["https://openalex.org/I82509713"],"apc_list":null,"apc_paid":null,"fwci":1.3103,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81051898,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"103","last_page":"112"},"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.9994999766349792,"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.9994999766349792,"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.9994000196456909,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8188481330871582},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5758339762687683},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.5580602884292603},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5354929566383362},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.46852606534957886},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.46298208832740784},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.45944157242774963},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.45813965797424316},{"id":"https://openalex.org/keywords/regression-testing","display_name":"Regression testing","score":0.41384217143058777},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.38851314783096313},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32728710770606995},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.08685743808746338}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8188481330871582},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5758339762687683},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.5580602884292603},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5354929566383362},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.46852606534957886},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.46298208832740784},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.45944157242774963},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.45813965797424316},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.41384217143058777},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.38851314783096313},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32728710770606995},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.08685743808746338},{"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/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2602576.2602589","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2602576.2602589","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1977409260","https://openalex.org/W2028806953","https://openalex.org/W2060910994","https://openalex.org/W2079083905","https://openalex.org/W2115179079","https://openalex.org/W2127637733","https://openalex.org/W2135969459","https://openalex.org/W2142993980","https://openalex.org/W2147088720","https://openalex.org/W2152417223","https://openalex.org/W2161247990","https://openalex.org/W2913256667","https://openalex.org/W4247632680","https://openalex.org/W6677065307"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W2035244079","https://openalex.org/W2962898432","https://openalex.org/W2392047570","https://openalex.org/W4301348901","https://openalex.org/W4205300843","https://openalex.org/W2350806125","https://openalex.org/W2391022620","https://openalex.org/W2361469993","https://openalex.org/W2361881307"],"abstract_inverted_index":{"Design":[0,70],"artifacts":[1,17],"of":[2,10,44,61,109,123,135],"embedded":[3,62],"systems":[4,63],"are":[5,20,97],"subjected":[6],"to":[7,26,36,83],"a":[8,55,136],"number":[9],"modifications":[11],"during":[12],"the":[13,37,66,100,107,121,133],"development":[14],"process.":[15],"Verified":[16],"that":[18,28,93,96,132],"subsequently":[19],"modified":[21],"must":[22],"necessarily":[23],"be":[24,76,139],"re-verified":[25],"ensure":[27],"no":[29],"faults":[30],"have":[31],"been":[32],"introduced":[33],"in":[34,65],"response":[35],"modification.":[38],"We":[39],"collectively":[40],"call":[41],"this":[42,50],"type":[43],"verification":[45,60,81,87,91],"as":[46],"regression":[47,59,86],"verification.":[48],"In":[49],"paper,":[51],"we":[52],"contribute":[53],"with":[54,78],"technique":[56,74,82],"for":[57,102,106],"selective":[58],"modeled":[64],"Architecture":[67],"Analysis":[68],"and":[69,112],"Language":[71],"(AADL).":[72],"The":[73,116],"can":[75,138],"used":[77],"any":[79],"AADL-based":[80],"efficiently":[84],"perform":[85],"by":[88,99],"only":[89],"selecting":[90],"sequences":[92],"cover":[94],"parts":[95],"affected":[98],"modification":[101,137],"re-execution.":[103],"This":[104],"allows":[105],"avoidance":[108],"unnecessary":[110,114],"re-verification,":[111],"thereby":[113],"costs.":[115],"selection":[117],"is":[118],"based":[119],"on":[120],"concept":[122],"specification":[124],"slicing":[125],"through":[126],"system":[127],"dependence":[128],"graphs":[129],"(SDGs)":[130],"such":[131],"effect":[134],"identified.":[140]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}