{"id":"https://openalex.org/W2937097259","doi":"https://doi.org/10.1007/s10664-019-09693-x","title":"An empirical study on the potential usefulness of domain models for completeness checking of requirements","display_name":"An empirical study on the potential usefulness of domain models for completeness checking of requirements","publication_year":2019,"publication_date":"2019-04-18","ids":{"openalex":"https://openalex.org/W2937097259","doi":"https://doi.org/10.1007/s10664-019-09693-x","mag":"2937097259"},"language":"en","primary_location":{"id":"doi:10.1007/s10664-019-09693-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10664-019-09693-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10664-019-09693-x.pdf","source":{"id":"https://openalex.org/S109852484","display_name":"Empirical Software Engineering","issn_l":"1382-3256","issn":["1382-3256","1573-7616"],"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":"Empirical Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10664-019-09693-x.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019739552","display_name":"Chetan Arora","orcid":"https://orcid.org/0000-0003-1466-7386"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I4405259781","display_name":"Interdisciplinary Centre for Security, Reliability and Trust","ror":"https://ror.org/02qav7c04","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]},{"id":"https://openalex.org/I909555","display_name":"SES (Luxembourg)","ror":"https://ror.org/00526y629","country_code":"LU","type":"company","lineage":["https://openalex.org/I909555"]}],"countries":["LU"],"is_corresponding":true,"raw_author_name":"Chetan Arora","raw_affiliation_strings":["Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, 29 Avenue John F. Kennedy, L-1855, Luxembourg, Luxembourg","SES Networks, Rue Pierre Werner, L-6815, Betzdorf, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, 29 Avenue John F. Kennedy, L-1855, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]},{"raw_affiliation_string":"SES Networks, Rue Pierre Werner, L-6815, Betzdorf, Luxembourg","institution_ids":["https://openalex.org/I909555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022905724","display_name":"Mehrdad Sabetzadeh","orcid":"https://orcid.org/0000-0002-4711-8319"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I4405259781","display_name":"Interdisciplinary Centre for Security, Reliability and Trust","ror":"https://ror.org/02qav7c04","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Mehrdad Sabetzadeh","raw_affiliation_strings":["Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, 29 Avenue John F. Kennedy, L-1855, Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0002-4711-8319","affiliations":[{"raw_affiliation_string":"Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, 29 Avenue John F. Kennedy, L-1855, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078533117","display_name":"Lionel Briand","orcid":"https://orcid.org/0000-0002-1393-1010"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I4405259781","display_name":"Interdisciplinary Centre for Security, Reliability and Trust","ror":"https://ror.org/02qav7c04","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Lionel C. Briand","raw_affiliation_strings":["Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, 29 Avenue John F. Kennedy, L-1855, Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, 29 Avenue John F. Kennedy, L-1855, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5019739552"],"corresponding_institution_ids":["https://openalex.org/I186903577","https://openalex.org/I4405259781","https://openalex.org/I909555"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":1.1168,"has_fulltext":true,"cited_by_count":37,"citation_normalized_percentile":{"value":0.83246229,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"24","issue":"4","first_page":"2509","last_page":"2539"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.716245710849762},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6653882265090942},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5820124745368958},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.5380212068557739},{"id":"https://openalex.org/keywords/domain-model","display_name":"Domain model","score":0.5061787962913513},{"id":"https://openalex.org/keywords/empirical-research","display_name":"Empirical research","score":0.5052822232246399},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.5000343322753906},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.46007946133613586},{"id":"https://openalex.org/keywords/domain-analysis","display_name":"Domain analysis","score":0.458100825548172},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4304133951663971},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.4142257571220398},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.4120680093765259},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.41144341230392456},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3440445363521576},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3265824019908905},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.2960622310638428},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23241615295410156},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15835535526275635},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.13669952750205994},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.128971666097641},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10475072264671326}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.716245710849762},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6653882265090942},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5820124745368958},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.5380212068557739},{"id":"https://openalex.org/C92548554","wikidata":"https://www.wikidata.org/wiki/Q2262868","display_name":"Domain model","level":3,"score":0.5061787962913513},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.5052822232246399},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5000343322753906},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.46007946133613586},{"id":"https://openalex.org/C15708719","wikidata":"https://www.wikidata.org/wiki/Q2271801","display_name":"Domain analysis","level":5,"score":0.458100825548172},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4304133951663971},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4142257571220398},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.4120680093765259},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.41144341230392456},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3440445363521576},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3265824019908905},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.2960622310638428},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23241615295410156},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15835535526275635},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.13669952750205994},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.128971666097641},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10475072264671326},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s10664-019-09693-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10664-019-09693-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10664-019-09693-x.pdf","source":{"id":"https://openalex.org/S109852484","display_name":"Empirical Software Engineering","issn_l":"1382-3256","issn":["1382-3256","1573-7616"],"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":"Empirical Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:dro.deakin.edu.au:DU:30135304","is_oa":false,"landing_page_url":"http://doi.org/10.1007/s10664-019-09693-x","pdf_url":null,"source":{"id":"https://openalex.org/S4306402457","display_name":"Deakin Research Online (Deakin University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149704539","host_organization_name":"Deakin University","host_organization_lineage":["https://openalex.org/I149704539"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"pmh:oai:figshare.com:article/20714638","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/An_empirical_study_on_the_potential_usefulness_of_domain_models_for_completeness_checking_of_requirements/20714638","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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":null,"raw_type":"Text"},{"id":"pmh:oai:orbilu.uni.lu:10993/38815","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/38815","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"info:eu-repo/grantAgreement/EC/H2020/694277","raw_type":null}],"best_oa_location":{"id":"doi:10.1007/s10664-019-09693-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10664-019-09693-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10664-019-09693-x.pdf","source":{"id":"https://openalex.org/S109852484","display_name":"Empirical Software Engineering","issn_l":"1382-3256","issn":["1382-3256","1573-7616"],"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":"Empirical Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G1533702162","display_name":null,"funder_award_id":"FNR-11601446","funder_id":"https://openalex.org/F4320321038","funder_display_name":"Fonds National de la Recherche Luxembourg"},{"id":"https://openalex.org/G275404224","display_name":null,"funder_award_id":"694277","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6125804149","display_name":null,"funder_award_id":"FNR/P10/03","funder_id":"https://openalex.org/F4320321038","funder_display_name":"Fonds National de la Recherche Luxembourg"},{"id":"https://openalex.org/G7184894448","display_name":null,"funder_award_id":"FNR/P10/03 and FNR-11601446","funder_id":"https://openalex.org/F4320321038","funder_display_name":"Fonds National de la Recherche Luxembourg"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8705474127","display_name":"Testing the Untestable: Model Testing of Complex Software-Intensive Systems","funder_award_id":"694277","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321038","display_name":"Fonds National de la Recherche Luxembourg","ror":"https://ror.org/039z13y21"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2937097259.pdf","grobid_xml":"https://content.openalex.org/works/W2937097259.grobid-xml"},"referenced_works_count":67,"referenced_works":["https://openalex.org/W74572488","https://openalex.org/W81445247","https://openalex.org/W115530133","https://openalex.org/W128450816","https://openalex.org/W130710483","https://openalex.org/W168126392","https://openalex.org/W331173425","https://openalex.org/W577291795","https://openalex.org/W1496824317","https://openalex.org/W1538518768","https://openalex.org/W1539952819","https://openalex.org/W1552137875","https://openalex.org/W1577316669","https://openalex.org/W1578999903","https://openalex.org/W1579838312","https://openalex.org/W1588922706","https://openalex.org/W1601600712","https://openalex.org/W1607966195","https://openalex.org/W1795964403","https://openalex.org/W1831066781","https://openalex.org/W1854505397","https://openalex.org/W1874259416","https://openalex.org/W1964992116","https://openalex.org/W1978721560","https://openalex.org/W1981600111","https://openalex.org/W1985093013","https://openalex.org/W1990100773","https://openalex.org/W1998272608","https://openalex.org/W2016902833","https://openalex.org/W2019692058","https://openalex.org/W2034813273","https://openalex.org/W2039076937","https://openalex.org/W2046876961","https://openalex.org/W2050232108","https://openalex.org/W2053154970","https://openalex.org/W2075886324","https://openalex.org/W2094489875","https://openalex.org/W2098895708","https://openalex.org/W2101044066","https://openalex.org/W2105603754","https://openalex.org/W2115408673","https://openalex.org/W2116360826","https://openalex.org/W2128353032","https://openalex.org/W2133157311","https://openalex.org/W2135120182","https://openalex.org/W2146191617","https://openalex.org/W2148159886","https://openalex.org/W2148820438","https://openalex.org/W2154652861","https://openalex.org/W2162100845","https://openalex.org/W2162339078","https://openalex.org/W2162497509","https://openalex.org/W2166883915","https://openalex.org/W2168342181","https://openalex.org/W2506907351","https://openalex.org/W2558786277","https://openalex.org/W2559799015","https://openalex.org/W2614421426","https://openalex.org/W2721898503","https://openalex.org/W2792929624","https://openalex.org/W2911528261","https://openalex.org/W2976931192","https://openalex.org/W3021589601","https://openalex.org/W4205759361","https://openalex.org/W4254409632","https://openalex.org/W4290189402","https://openalex.org/W4292403327"],"related_works":["https://openalex.org/W234248761","https://openalex.org/W2354476589","https://openalex.org/W1894394044","https://openalex.org/W2374471852","https://openalex.org/W1545732355","https://openalex.org/W2510893491","https://openalex.org/W1489932392","https://openalex.org/W3148769044","https://openalex.org/W4367301008","https://openalex.org/W2079318879"],"abstract_inverted_index":{"Domain":[0],"modeling":[1],"is":[2,81,104,164],"a":[3,65,82,86],"common":[4],"strategy":[5],"for":[6,17,42,170,187,209],"mitigating":[7],"incompleteness":[8,44,210],"in":[9,45,78,108,118,136],"requirements.":[10,47,79,137,193],"While":[11],"the":[12,19,36,71,95,129,189],"benefits":[13,27],"of":[14,21,39,73,84,97,162,191],"domain":[15,40,57,74,87,116,141,182],"models":[16,41,58,75,117,131,142,183],"checking":[18,188],"completeness":[20,190],"requirements":[22,51,98,153,155,172],"are":[23,132,158,202],"anecdotally":[24],"known,":[25],"these":[26,207],"have":[28,113],"never":[29],"been":[30],"evaluated":[31],"systematically.":[32],"We":[33,48,112,123,138],"empirically":[34],"examine":[35],"potential":[37],"usefulness":[38],"detecting":[43],"natural-language":[46,192],"focus":[49],"on":[50,126],"written":[52],"as":[53],"\u201cshall\u201d-style":[54],"statements":[55],"and":[56,151],"captured":[59],"using":[60],"UML":[61],"class":[62],"diagrams.":[63],"Through":[64],"randomized":[66],"simulation":[67],"process,":[68],"we":[69],"analyze":[70],"sensitivity":[72,145,163],"to":[76,94,133,146,198,204],"omissions":[77,135],"Sensitivity":[80],"measure":[83],"whether":[85,200],"model":[88],"contains":[89],"information":[90],"that":[91,140,181],"can":[92],"lead":[93],"discovery":[96],"omissions.":[99],"Our":[100],"empirical":[101,179],"research":[102,107],"method":[103],"case":[105],"study":[106],"an":[109],"industrial":[110],"setting.":[111],"experts":[114],"construct":[115],"three":[119],"distinct":[120],"industry":[121],"domains.":[122],"then":[124],"report":[125],"how":[127],"sensitive":[128],"resulting":[130],"simulated":[134],"observe":[139],"exhibit":[143],"near-linear":[144],"both":[147],"unspecified":[148,171],"(i.e.,":[149,154],"missing)":[150],"under-specified":[152,174],"whose":[156],"details":[157],"incomplete).":[159],"The":[160],"level":[161],"more":[165],"than":[166,173],"four":[167],"times":[168],"higher":[169],"ones.":[175],"These":[176],"results":[177],"provide":[178,184],"evidence":[180],"useful":[185],"cues":[186,208],"Further":[194],"studies":[195],"remain":[196],"necessary":[197],"ascertain":[199],"analysts":[201],"able":[203],"effectively":[205],"exploit":[206],"detection.":[211]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-18T07:39:51.176621","created_date":"2025-10-10T00:00:00"}