{"id":"https://openalex.org/W3201392238","doi":"https://doi.org/10.1007/s10270-021-00918-6","title":"Automated generation of consistent models using qualitative abstractions and exploration strategies","display_name":"Automated generation of consistent models using qualitative abstractions and exploration strategies","publication_year":2021,"publication_date":"2021-09-17","ids":{"openalex":"https://openalex.org/W3201392238","doi":"https://doi.org/10.1007/s10270-021-00918-6","mag":"3201392238","pmid":"https://pubmed.ncbi.nlm.nih.gov/36196213"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-021-00918-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-021-00918-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-021-00918-6.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-021-00918-6.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048868515","display_name":"Aren A. Babikian","orcid":"https://orcid.org/0000-0002-8108-0043"},"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":true,"raw_author_name":"Aren A. Babikian","raw_affiliation_strings":["Department of Electrical and Computer Engineering, McGill University, 3480 Rue University, Montr\u00e9al, QC H3A 0E9 Canada","Department of Electrical and Computer Engineering, McGill University, 3480 Rue University, Montr\u00e9al, QC, H3A 0E9, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, McGill University, 3480 Rue University, Montr\u00e9al, QC H3A 0E9 Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, McGill University, 3480 Rue University, Montr\u00e9al, QC, H3A 0E9, Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"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"]},{"id":"https://openalex.org/I80251312","display_name":"HUN-REN Research Centre for Natural Sciences","ror":"https://ror.org/03zwxja46","country_code":"HU","type":"facility","lineage":["https://openalex.org/I4387152226","https://openalex.org/I80251312"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Oszk\u00e1r Semer\u00e1th","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117 Hungary","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117 Hungary","institution_ids":["https://openalex.org/I29770179","https://openalex.org/I80251312"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100402744","display_name":"Anqi Li","orcid":"https://orcid.org/0000-0001-6784-8936"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Anqi Li","raw_affiliation_strings":["Department of Computer Science, ETH Z\u00fcrich, R\u00e4mistrasse 101, Z\u00fcrich, 8092 Switzerland","Department of Computer Science, ETH Z\u00fcrich, R\u00e4mistrasse 101, Z\u00fcrich, 8092, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, ETH Z\u00fcrich, R\u00e4mistrasse 101, Z\u00fcrich, 8092 Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"Department of Computer Science, ETH Z\u00fcrich, R\u00e4mistrasse 101, Z\u00fcrich, 8092, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","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"]},{"id":"https://openalex.org/I80251312","display_name":"HUN-REN Research Centre for Natural Sciences","ror":"https://ror.org/03zwxja46","country_code":"HU","type":"facility","lineage":["https://openalex.org/I4387152226","https://openalex.org/I80251312"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Krist\u00f3f Marussy","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117 Hungary","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117 Hungary","institution_ids":["https://openalex.org/I29770179","https://openalex.org/I80251312"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, 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/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]},{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]},{"id":"https://openalex.org/I80251312","display_name":"HUN-REN Research Centre for Natural Sciences","ror":"https://ror.org/03zwxja46","country_code":"HU","type":"facility","lineage":["https://openalex.org/I4387152226","https://openalex.org/I80251312"]}],"countries":["CA","HU"],"is_corresponding":false,"raw_author_name":"D\u00e1niel Varr\u00f3","raw_affiliation_strings":["Department of Electrical and Computer Engineering, McGill University, 3480 Rue University, Montr\u00e9al, QC H3A 0E9 Canada","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117 Hungary","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, McGill University, 3480 Rue University, Montr\u00e9al, QC H3A 0E9 Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117 Hungary","institution_ids":["https://openalex.org/I29770179","https://openalex.org/I80251312"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5048868515"],"corresponding_institution_ids":["https://openalex.org/I5023651"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":{"value":2890,"currency":"USD","value_usd":2890},"fwci":2.2657,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.86926407,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"21","issue":"5","first_page":"1763","last_page":"1787"},"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.9997000098228455,"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.9997000098228455,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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.9994000196456909,"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.8787609934806824},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.7483948469161987},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7441736459732056},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5384755730628967},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5238751769065857},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5072381496429443},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.48437246680259705},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4776272177696228},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26691171526908875},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1823417842388153}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8787609934806824},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7483948469161987},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7441736459732056},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5384755730628967},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5238751769065857},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5072381496429443},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.48437246680259705},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4776272177696228},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26691171526908875},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1823417842388153},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s10270-021-00918-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-021-00918-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-021-00918-6.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},{"id":"pmid:36196213","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/36196213","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and systems modeling","raw_type":null},{"id":"pmh:oai:pubmedcentral.nih.gov:9525443","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/9525443","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Softw Syst Model","raw_type":"Text"},{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/506675","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/506675","pdf_url":null,"source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Software and Systems Modeling, 21","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3929/ethz-b-000506675","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-b-000506675","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","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":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1007/s10270-021-00918-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-021-00918-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-021-00918-6.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6200000047683716,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1748904351","display_name":null,"funder_award_id":"\u00daNKP-20-4","funder_id":"https://openalex.org/F4320335908","funder_display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap"},{"id":"https://openalex.org/G3336180873","display_name":null,"funder_award_id":"\u00daNKP-20-4","funder_id":"https://openalex.org/F4320326762","funder_display_name":"Nemzeti Kutat\u00e1si Fejleszt\u00e9si \u00e9s Innov\u00e1ci\u00f3s Hivatal"},{"id":"https://openalex.org/G4832065709","display_name":null,"funder_award_id":"\u00daNKP-20-4","funder_id":"https://openalex.org/F4320336675","funder_display_name":"National Research, Development and Innovation Office"},{"id":"https://openalex.org/G5511846599","display_name":null,"funder_award_id":"\u00daNKP-20","funder_id":"https://openalex.org/F4320335908","funder_display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap"},{"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/G7233927407","display_name":null,"funder_award_id":"\u00daNKP-20-4","funder_id":"https://openalex.org/F4320328991","funder_display_name":"Innov\u00e1ci\u00f3s \u00e9s Technol\u00f3giai Miniszt\u00e9rium"},{"id":"https://openalex.org/G75659515","display_name":"Automated Test Model Generation for Safety Assurance of Cyber-Physical Systems and their Design Tools","funder_award_id":"546810-2020","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G8013533317","display_name":null,"funder_award_id":"PGSD3-546810-2020","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G8671265748","display_name":null,"funder_award_id":"PGSD3","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"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},{"id":"https://openalex.org/F4320336675","display_name":"National Research, Development and Innovation Office","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3201392238.pdf","grobid_xml":"https://content.openalex.org/works/W3201392238.grobid-xml"},"referenced_works_count":95,"referenced_works":["https://openalex.org/W24569603","https://openalex.org/W89892127","https://openalex.org/W148663991","https://openalex.org/W177306140","https://openalex.org/W187743145","https://openalex.org/W844332498","https://openalex.org/W1035875811","https://openalex.org/W1480909796","https://openalex.org/W1487851792","https://openalex.org/W1489527380","https://openalex.org/W1496681274","https://openalex.org/W1509268249","https://openalex.org/W1528617049","https://openalex.org/W1536511644","https://openalex.org/W1536631555","https://openalex.org/W1548001884","https://openalex.org/W1567888042","https://openalex.org/W1569208917","https://openalex.org/W1575457328","https://openalex.org/W1586910069","https://openalex.org/W1810787746","https://openalex.org/W1973559034","https://openalex.org/W1986958631","https://openalex.org/W1991837261","https://openalex.org/W1997864678","https://openalex.org/W2017035494","https://openalex.org/W2022846948","https://openalex.org/W2023814507","https://openalex.org/W2027346590","https://openalex.org/W2031256244","https://openalex.org/W2036852981","https://openalex.org/W2050736294","https://openalex.org/W2055287943","https://openalex.org/W2060440626","https://openalex.org/W2074683366","https://openalex.org/W2076645253","https://openalex.org/W2089381631","https://openalex.org/W2091920469","https://openalex.org/W2099272825","https://openalex.org/W2099991819","https://openalex.org/W2103364805","https://openalex.org/W2111445678","https://openalex.org/W2121061989","https://openalex.org/W2122073339","https://openalex.org/W2122598528","https://openalex.org/W2133213925","https://openalex.org/W2139553864","https://openalex.org/W2140687990","https://openalex.org/W2147609419","https://openalex.org/W2148608418","https://openalex.org/W2149200211","https://openalex.org/W2153144732","https://openalex.org/W2164778826","https://openalex.org/W2166280160","https://openalex.org/W2172225938","https://openalex.org/W2352369207","https://openalex.org/W2406059451","https://openalex.org/W2412353202","https://openalex.org/W2418384203","https://openalex.org/W2539249059","https://openalex.org/W2560375603","https://openalex.org/W2603072184","https://openalex.org/W2626562305","https://openalex.org/W2723261621","https://openalex.org/W2736067960","https://openalex.org/W2745766115","https://openalex.org/W2772718494","https://openalex.org/W2775678306","https://openalex.org/W2780061171","https://openalex.org/W2787691610","https://openalex.org/W2792390244","https://openalex.org/W2795021132","https://openalex.org/W2796271057","https://openalex.org/W2810857094","https://openalex.org/W2887375731","https://openalex.org/W2898998338","https://openalex.org/W2952134753","https://openalex.org/W2954114557","https://openalex.org/W2957066083","https://openalex.org/W2972465897","https://openalex.org/W2989862949","https://openalex.org/W3018867236","https://openalex.org/W3023259152","https://openalex.org/W3047641937","https://openalex.org/W3088218866","https://openalex.org/W3090741161","https://openalex.org/W3122914370","https://openalex.org/W3138484593","https://openalex.org/W3140501928","https://openalex.org/W3149109633","https://openalex.org/W3171669654","https://openalex.org/W4240872599","https://openalex.org/W4245822332","https://openalex.org/W4251910621","https://openalex.org/W4301352211"],"related_works":["https://openalex.org/W2186864281","https://openalex.org/W4255427455","https://openalex.org/W2389214306","https://openalex.org/W2965083567","https://openalex.org/W4235240664","https://openalex.org/W1966025497","https://openalex.org/W1838576100","https://openalex.org/W2757182831","https://openalex.org/W68941528","https://openalex.org/W2144839145"],"abstract_inverted_index":{"Automatically":[0],"synthesizing":[1],"consistent":[2],"models":[3,95,106],"is":[4,27],"a":[5,17,30,79,88,100,130],"key":[6,115],"prerequisite":[7],"for":[8,54],"many":[9],"testing":[10],"scenarios":[11],"in":[12,78,174],"autonomous":[13],"driving":[14],"to":[15,41,71,103,153],"ensure":[16],"designated":[18],"coverage":[19],"of":[20,118,164,172,177],"critical":[21],"corner":[22],"cases.":[23],"An":[24],"inconsistent":[25],"model":[26,39,119,156],"irrelevant":[28],"as":[29,167,169],"test":[31],"case":[32,180],"(e.g.,":[33],"false":[34],"positive);":[35],"thus,":[36],"each":[37],"synthetic":[38],"needs":[40],"simultaneously":[42,108],"satisfy":[43],"various":[44],"structural":[45,74,89,110],"and":[46,99,111,162],"attribute":[47,76],"constraints,":[48,113],"which":[49,107,137],"includes":[50],"complex":[51,179],"geometric":[52],"constraints":[53,77],"traffic":[55],"scenarios.":[56],"While":[57],"different":[58,135],"logic":[59],"solvers":[60,64,136],"or":[61,75,123],"dedicated":[62],"graph":[63,90],"have":[65],"recently":[66],"been":[67],"developed,":[68],"they":[69],"fail":[70],"handle":[72],"either":[73],"scalable":[80],"way.":[81],"In":[82],"the":[83,160,170,175],"current":[84],"paper,":[85],"we":[86,148],"combine":[87],"solver":[91,102],"that":[92],"uses":[93],"partial":[94],"with":[96],"an":[97],"SMT-solver":[98],"quadratic":[101],"automatically":[104],"derive":[105],"fulfill":[109],"numeric":[112],"while":[114],"theoretical":[116],"properties":[117],"generation":[120],"like":[121],"completeness":[122],"diversity":[124,163],"are":[125],"still":[126],"ensured.":[127],"This":[128],"necessitates":[129],"sophisticated":[131],"bidirectional":[132],"interaction":[133],"between":[134],"carry":[138],"out":[139],"consistency":[140],"checks,":[141],"decision,":[142],"unit":[143],"propagation,":[144],"concretization":[145],"steps.":[146],"Additionally,":[147],"introduce":[149],"custom":[150],"exploration":[151],"strategies":[152],"speed":[154],"up":[155],"generation.":[157],"We":[158],"evaluate":[159],"scalability":[161],"our":[165],"approach,":[166],"well":[168],"influence":[171],"customizations,":[173],"context":[176],"four":[178],"studies.":[181]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}