{"id":"https://openalex.org/W2796271057","doi":"https://doi.org/10.1007/978-3-319-89363-1_13","title":"Iterative Generation of Diverse Models for Testing Specifications of DSL Tools","display_name":"Iterative Generation of Diverse Models for Testing Specifications of DSL Tools","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2796271057","doi":"https://doi.org/10.1007/978-3-319-89363-1_13","mag":"2796271057"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-89363-1_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89363-1_13","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89363-1_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89363-1_13.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Oszk\u00e1r Semer\u00e1th","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary"],"raw_orcid":"https://orcid.org/0000-0002-3592-5105","affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary","institution_ids":[]}]},{"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"]}],"countries":["CA","HU"],"is_corresponding":false,"raw_author_name":"D\u00e1niel Varr\u00f3","raw_affiliation_strings":["Department of Electrical and Computer Engineering, McGill University, Montreal, Canada","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary"],"raw_orcid":"https://orcid.org/0000-0002-8790-252X","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, McGill University, Montreal, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5055755535"],"corresponding_institution_ids":["https://openalex.org/I29770179"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":7.0918,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.98053279,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"227","last_page":"245"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9966999888420105,"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.9965000152587891,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8466846942901611},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.8040139675140381},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.5736464262008667},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5199090838432312},{"id":"https://openalex.org/keywords/iterative-refinement","display_name":"Iterative refinement","score":0.508672297000885},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.5045074224472046},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4978451728820801},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45633333921432495},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.4516030550003052},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.43546727299690247},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43398359417915344},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.42810288071632385},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.42231547832489014},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.41689586639404297},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4064868986606598},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3957059681415558},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24514251947402954},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2243354320526123}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8466846942901611},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.8040139675140381},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.5736464262008667},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5199090838432312},{"id":"https://openalex.org/C2779982483","wikidata":"https://www.wikidata.org/wiki/Q6094420","display_name":"Iterative refinement","level":2,"score":0.508672297000885},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5045074224472046},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4978451728820801},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45633333921432495},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.4516030550003052},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.43546727299690247},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43398359417915344},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.42810288071632385},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.42231547832489014},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.41689586639404297},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4064868986606598},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3957059681415558},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24514251947402954},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2243354320526123},{"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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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":2,"locations":[{"id":"doi:10.1007/978-3-319-89363-1_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89363-1_13","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89363-1_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:real.mtak.hu:82388","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400081","display_name":"Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210140733","host_organization_name":"Library and Information Centre of the Hungarian Academy of Sciences","host_organization_lineage":["https://openalex.org/I4210140733"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-89363-1_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89363-1_13","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89363-1_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6192798866","display_name":null,"funder_award_id":"UNKP-17-3","funder_id":"https://openalex.org/F4320323476","funder_display_name":"Emberi Eroforr\u00e1sok Miniszt\u00e9riuma"},{"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"}],"funders":[{"id":"https://openalex.org/F4320323476","display_name":"Emberi Eroforr\u00e1sok Miniszt\u00e9riuma","ror":"https://ror.org/00rb16m44"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2796271057.pdf","grobid_xml":"https://content.openalex.org/works/W2796271057.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W5815757","https://openalex.org/W15437288","https://openalex.org/W24569603","https://openalex.org/W1003315906","https://openalex.org/W1035875811","https://openalex.org/W1487851792","https://openalex.org/W1519503479","https://openalex.org/W1536631555","https://openalex.org/W1548001884","https://openalex.org/W1562798600","https://openalex.org/W1567888042","https://openalex.org/W1578901226","https://openalex.org/W1594569722","https://openalex.org/W1878356469","https://openalex.org/W2010634892","https://openalex.org/W2050736294","https://openalex.org/W2051414926","https://openalex.org/W2055233297","https://openalex.org/W2060440626","https://openalex.org/W2063169118","https://openalex.org/W2074683366","https://openalex.org/W2076645253","https://openalex.org/W2089381631","https://openalex.org/W2107061559","https://openalex.org/W2107792798","https://openalex.org/W2119284483","https://openalex.org/W2124040333","https://openalex.org/W2133213925","https://openalex.org/W2135841285","https://openalex.org/W2136573653","https://openalex.org/W2155693950","https://openalex.org/W2163730551","https://openalex.org/W2246953956","https://openalex.org/W2404214886","https://openalex.org/W2418384203","https://openalex.org/W2524405402","https://openalex.org/W2723261621","https://openalex.org/W2787691610","https://openalex.org/W2795021132","https://openalex.org/W3175312018","https://openalex.org/W4251910621"],"related_works":["https://openalex.org/W2119542776","https://openalex.org/W2014596857","https://openalex.org/W2582410692","https://openalex.org/W1485300234","https://openalex.org/W2258960507","https://openalex.org/W2140083133","https://openalex.org/W2460228634","https://openalex.org/W2097052821","https://openalex.org/W1573904598","https://openalex.org/W4313343615"],"abstract_inverted_index":{"The":[0],"validation":[1],"of":[2,5,17,74,99],"modeling":[3],"tools":[4],"custom":[6],"domain-specific":[7],"languages":[8],"(DSLs)":[9],"frequently":[10],"relies":[11],"upon":[12],"an":[13,64,103],"automatically":[14],"generated":[15],"set":[16,73],"models":[18,54,75],"as":[19,59,86],"a":[20,71,82],"test":[21,31],"suite.":[22],"While":[23],"many":[24],"software":[25],"testing":[26,101],"approaches":[27],"recommend":[28],"that":[29],"this":[30],"suite":[32],"should":[33],"be":[34],"diverse,":[35],"model":[36,66,78,109,115],"diversity":[37,51,94],"has":[38],"not":[39],"been":[40],"studied":[41],"systematically":[42],"for":[43,53,102],"graph":[44],"models.":[45],"In":[46],"the":[47,97,113],"paper,":[48],"we":[49,62],"propose":[50,63],"metrics":[52,95],"by":[55,88],"exploiting":[56],"neighborhood":[57,89],"shapes":[58],"abstraction.":[60],"Furthermore,":[61],"iterative":[65],"generation":[67,110],"technique":[68,111],"to":[69],"synthesize":[70],"diverse":[72],"where":[76],"each":[77],"is":[79],"taken":[80],"from":[81],"different":[83],"equivalence":[84],"class":[85],"defined":[87],"shapes.":[90],"We":[91],"evaluate":[92],"our":[93,108],"in":[96],"context":[98],"mutation":[100],"industrial":[104],"DSL":[105],"and":[106],"compare":[107],"with":[112],"popular":[114],"generator":[116],"Alloy.":[117]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}