{"id":"https://openalex.org/W3088218866","doi":"https://doi.org/10.1109/tse.2020.3025732","title":"Automated Generation of Consistent Graph Models With Multiplicity Reasoning","display_name":"Automated Generation of Consistent Graph Models With Multiplicity Reasoning","publication_year":2020,"publication_date":"2020-09-21","ids":{"openalex":"https://openalex.org/W3088218866","doi":"https://doi.org/10.1109/tse.2020.3025732","mag":"3088218866"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2020.3025732","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2020.3025732","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/9775544/09201551.pdf","source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/32/9775544/09201551.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036082702","display_name":"Krist\u00f3f Marussy","orcid":"https://orcid.org/0000-0002-9135-8256"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Kristof Marussy","raw_affiliation_strings":["Budapest University of Technology and Economics, Budapest, Hungary"],"raw_orcid":"https://orcid.org/0000-0002-9135-8256","affiliations":[{"raw_affiliation_string":"Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055755535","display_name":"Oszk\u00e1r Semer\u00e1th","orcid":"https://orcid.org/0000-0002-3592-5105"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Oszkar Semerath","raw_affiliation_strings":["Budapest University of Technology and Economics, Budapest, Hungary"],"raw_orcid":"https://orcid.org/0000-0002-3592-5105","affiliations":[{"raw_affiliation_string":"Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064890236","display_name":"D\u00e1niel Varr\u00f3","orcid":"https://orcid.org/0000-0002-8790-252X"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Daniel Varro","raw_affiliation_strings":["McGill University, Montreal, Quebec, Canada"],"raw_orcid":"https://orcid.org/0000-0002-8790-252X","affiliations":[{"raw_affiliation_string":"McGill University, Montreal, Quebec, Canada","institution_ids":["https://openalex.org/I5023651"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.0878,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.87269096,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"48","issue":"5","first_page":"1610","last_page":"1629"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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.8379654884338379},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6262603402137756},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5623015761375427},{"id":"https://openalex.org/keywords/predicate-abstraction","display_name":"Predicate abstraction","score":0.5336787104606628},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5089702606201172},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.41366544365882874},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38998907804489136},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.38615721464157104}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8379654884338379},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6262603402137756},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5623015761375427},{"id":"https://openalex.org/C2779907942","wikidata":"https://www.wikidata.org/wiki/Q7239630","display_name":"Predicate abstraction","level":3,"score":0.5336787104606628},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5089702606201172},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.41366544365882874},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38998907804489136},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.38615721464157104},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2020.3025732","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2020.3025732","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/9775544/09201551.pdf","source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/tse.2020.3025732","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2020.3025732","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/9775544/09201551.pdf","source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1414695747","display_name":null,"funder_award_id":"NKP-20-4","funder_id":"https://openalex.org/F4320328991","funder_display_name":"Innov\u00e1ci\u00f3s \u00e9s Technol\u00f3giai Miniszt\u00e9rium"},{"id":"https://openalex.org/G2744728761","display_name":null,"funder_award_id":"TKP2020","funder_id":"https://openalex.org/F4320335908","funder_display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap"},{"id":"https://openalex.org/G3258865709","display_name":null,"funder_award_id":"TKP2020","funder_id":"https://openalex.org/F4320323476","funder_display_name":"Emberi Eroforr\u00e1sok Miniszt\u00e9riuma"},{"id":"https://openalex.org/G3710089039","display_name":null,"funder_award_id":"BME NC TKP2020 grant","funder_id":"https://openalex.org/F4320335908","funder_display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap"},{"id":"https://openalex.org/G6242171398","display_name":null,"funder_award_id":"BME NC TKP2020","funder_id":"https://openalex.org/F4320326762","funder_display_name":"Nemzeti Kutat\u00e1si Fejleszt\u00e9si \u00e9s Innov\u00e1ci\u00f3s Hivatal"},{"id":"https://openalex.org/G6295403217","display_name":null,"funder_award_id":"RGPIN-04573-16","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G6420385980","display_name":null,"funder_award_id":"TKP2020","funder_id":"https://openalex.org/F4320328991","funder_display_name":"Innov\u00e1ci\u00f3s \u00e9s Technol\u00f3giai Miniszt\u00e9rium"},{"id":"https://openalex.org/G7269143174","display_name":null,"funder_award_id":"TKP2020","funder_id":"https://openalex.org/F4320326762","funder_display_name":"Nemzeti Kutat\u00e1si Fejleszt\u00e9si \u00e9s Innov\u00e1ci\u00f3s Hivatal"}],"funders":[{"id":"https://openalex.org/F4320323476","display_name":"Emberi Eroforr\u00e1sok Miniszt\u00e9riuma","ror":"https://ror.org/00rb16m44"},{"id":"https://openalex.org/F4320326762","display_name":"Nemzeti Kutat\u00e1si Fejleszt\u00e9si \u00e9s Innov\u00e1ci\u00f3s Hivatal","ror":null},{"id":"https://openalex.org/F4320328991","display_name":"Innov\u00e1ci\u00f3s \u00e9s Technol\u00f3giai Miniszt\u00e9rium","ror":"https://ror.org/02ey3ab96"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320335908","display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3088218866.pdf","grobid_xml":"https://content.openalex.org/works/W3088218866.grobid-xml"},"referenced_works_count":92,"referenced_works":["https://openalex.org/W5815757","https://openalex.org/W24569603","https://openalex.org/W89892127","https://openalex.org/W148663991","https://openalex.org/W193449614","https://openalex.org/W438350557","https://openalex.org/W602497127","https://openalex.org/W844332498","https://openalex.org/W1035875811","https://openalex.org/W1480909796","https://openalex.org/W1500886905","https://openalex.org/W1509268249","https://openalex.org/W1518705996","https://openalex.org/W1519503479","https://openalex.org/W1521011607","https://openalex.org/W1528617049","https://openalex.org/W1536631555","https://openalex.org/W1548001884","https://openalex.org/W1567888042","https://openalex.org/W1569208917","https://openalex.org/W1575457328","https://openalex.org/W1810787746","https://openalex.org/W1851906033","https://openalex.org/W1853034543","https://openalex.org/W1971817748","https://openalex.org/W1972844678","https://openalex.org/W1973559034","https://openalex.org/W1986958631","https://openalex.org/W1997864678","https://openalex.org/W1998400029","https://openalex.org/W2023814507","https://openalex.org/W2027346590","https://openalex.org/W2044561940","https://openalex.org/W2050736294","https://openalex.org/W2055287943","https://openalex.org/W2059865504","https://openalex.org/W2060440626","https://openalex.org/W2062873592","https://openalex.org/W2071863003","https://openalex.org/W2074683366","https://openalex.org/W2076645253","https://openalex.org/W2089381631","https://openalex.org/W2091920469","https://openalex.org/W2095850105","https://openalex.org/W2107792798","https://openalex.org/W2119284483","https://openalex.org/W2121061989","https://openalex.org/W2132661148","https://openalex.org/W2134001468","https://openalex.org/W2139553864","https://openalex.org/W2140687990","https://openalex.org/W2149200211","https://openalex.org/W2152949134","https://openalex.org/W2153019760","https://openalex.org/W2153144732","https://openalex.org/W2259042472","https://openalex.org/W2352369207","https://openalex.org/W2406059451","https://openalex.org/W2412353202","https://openalex.org/W2418384203","https://openalex.org/W2539249059","https://openalex.org/W2546385069","https://openalex.org/W2603072184","https://openalex.org/W2622284932","https://openalex.org/W2626562305","https://openalex.org/W2723261621","https://openalex.org/W2736067960","https://openalex.org/W2745766115","https://openalex.org/W2766605773","https://openalex.org/W2770102073","https://openalex.org/W2775678306","https://openalex.org/W2780061171","https://openalex.org/W2787691610","https://openalex.org/W2795021132","https://openalex.org/W2808342611","https://openalex.org/W2887375731","https://openalex.org/W2954114557","https://openalex.org/W2972465897","https://openalex.org/W3015657272","https://openalex.org/W3123858332","https://openalex.org/W3140501928","https://openalex.org/W3149109633","https://openalex.org/W3171669654","https://openalex.org/W3184268505","https://openalex.org/W4240872599","https://openalex.org/W4245822332","https://openalex.org/W4249785945","https://openalex.org/W4251910621","https://openalex.org/W4285719527","https://openalex.org/W4301352211","https://openalex.org/W6679913028","https://openalex.org/W6760934168"],"related_works":["https://openalex.org/W2149977550","https://openalex.org/W3160136729","https://openalex.org/W2134469331","https://openalex.org/W1589294645","https://openalex.org/W1548505328","https://openalex.org/W2003959877","https://openalex.org/W2181384782","https://openalex.org/W2064247971","https://openalex.org/W41277334","https://openalex.org/W1514172519"],"abstract_inverted_index":{"Advanced":[0],"tools":[1],"used":[2],"in":[3,130,205],"model-based":[4],"systems":[5],"engineering":[6],"(MBSE)":[7],"frequently":[8],"represent":[9],"their":[10],"models":[11,29,88,112,137,170],"as":[12],"graphs.":[13],"In":[14,42,96],"order":[15],"to":[16,57,67],"test":[17],"those":[18],"tools,":[19],"the":[20,53,60,70,81,154,177,183,194],"automated":[21],"generation":[22,40,45,82,166],"of":[23,73,83,94,156,212],"well-formed":[24,174],"(or":[25],"intentionally":[26],"malformed)":[27],"graph":[28,111,141,196],"is":[30,33],"necessitated":[31],"which":[32,107],"often":[34],"carried":[35],"out":[36],"by":[37,138,216],"solver-based":[38],"model":[39,44,165],"techniques.":[41],"many":[43],"scenarios,":[46],"one":[47,78],"needs":[48],"more":[49,61],"refined":[50],"control":[51],"over":[52],"generated":[54,75],"unit":[55],"tests":[56],"focus":[58],"on":[59,134,153],"relevant":[62],"models.":[63],"Type":[64],"scopes":[65],"allow":[66],"precisely":[68],"define":[69],"required":[71],"number":[72],"newly":[74],"elements,":[76],"thus":[77],"can":[79,127],"avoid":[80],"unrealistic":[84],"and":[85,116,124,175],"highly":[86],"symmetric":[87],"having":[89],"only":[90],"a":[91,101,120,206],"single":[92],"type":[93],"elements.":[95],"this":[97],"paper,":[98],"we":[99,161],"propose":[100,162],"3-valued":[102,157],"scoped":[103,158],"partial":[104,110,159],"modeling":[105],"formalism,":[106],"innovatively":[108],"extends":[109],"with":[113,144],"predicate":[114],"abstraction":[115],"counter":[117],"abstraction.":[118],"As":[119],"result,":[121],"well-formedness":[122],"constraints":[123],"multiplicity":[125,199],"requirements":[126],"be":[128],"evaluated":[129],"an":[131,163],"approximated":[132],"way":[133],"incomplete":[135],"(unfinished)":[136],"using":[139],"advanced":[140],"query":[142],"engines":[143],"numerical":[145],"solvers":[146],"(e.g.,":[147],"IP":[148],"or":[149,193],"LP":[150],"solvers).":[151],"Based":[152],"refinement":[155],"models,":[160],"efficient":[164],"algorithm":[167],"that":[168,171,182],"generates":[169],"are":[172],"both":[173],"satisfy":[176],"scope":[178],"requirements.":[179],"We":[180,201],"show":[181],"proposed":[184],"approach":[185,204],"scales":[186],"significantly":[187],"better":[188],"than":[189],"existing":[190],"SAT-solver":[191],"techniques":[192],"original":[195],"solver":[197],"without":[198],"reasoning.":[200],"illustrate":[202],"our":[203],"complex":[207],"design-space":[208],"exploration":[209],"case":[210],"study":[211],"collaborating":[213],"satellites":[214],"introduced":[215],"researchers":[217],"at":[218],"NASA":[219],"JPL.":[220]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}