{"id":"https://openalex.org/W4406189245","doi":"https://doi.org/10.1007/s10270-024-01232-7","title":"Extract, model, refine: improved modelling of program verification tools through data enrichment","display_name":"Extract, model, refine: improved modelling of program verification tools through data enrichment","publication_year":2025,"publication_date":"2025-01-08","ids":{"openalex":"https://openalex.org/W4406189245","doi":"https://doi.org/10.1007/s10270-024-01232-7","pmid":"https://pubmed.ncbi.nlm.nih.gov/40727313"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-024-01232-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01232-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01232-7.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","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01232-7.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005542869","display_name":"Sophie Lathouwers","orcid":"https://orcid.org/0000-0002-7544-447X"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Sophie Lathouwers","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100454944","display_name":"Yujie Liu","orcid":"https://orcid.org/0000-0002-0751-6857"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Yujie Liu","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084105661","display_name":"Vadim Zaytsev","orcid":"https://orcid.org/0000-0001-7764-4224"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Vadim Zaytsev","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-7764-4224","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005542869"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00486717,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"4","first_page":"1293","last_page":"1313"},"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.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/T10743","display_name":"Software Testing and Debugging 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/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"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.8209288716316223},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8011032342910767},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.695167064666748},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.6205906271934509},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5800972580909729},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.5750175714492798},{"id":"https://openalex.org/keywords/data-verification","display_name":"Data verification","score":0.5642846822738647},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.5284633040428162},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5095072388648987},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5016720294952393},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.448769748210907},{"id":"https://openalex.org/keywords/verification-and-validation-of-computer-simulation-models","display_name":"Verification and validation of computer simulation models","score":0.4462081491947174},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4365845322608948},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42508214712142944},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4133714735507965},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4054574966430664},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3457770049571991},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.30552107095718384},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.26025503873825073},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08407357335090637}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8209288716316223},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8011032342910767},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.695167064666748},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.6205906271934509},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5800972580909729},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.5750175714492798},{"id":"https://openalex.org/C49895821","wikidata":"https://www.wikidata.org/wiki/Q5227368","display_name":"Data verification","level":2,"score":0.5642846822738647},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.5284633040428162},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5095072388648987},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5016720294952393},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.448769748210907},{"id":"https://openalex.org/C126433048","wikidata":"https://www.wikidata.org/wiki/Q7921324","display_name":"Verification and validation of computer simulation models","level":2,"score":0.4462081491947174},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4365845322608948},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42508214712142944},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4133714735507965},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4054574966430664},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3457770049571991},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.30552107095718384},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.26025503873825073},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08407357335090637},{"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/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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/s10270-024-01232-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01232-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01232-7.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:40727313","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/40727313","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:ris.utwente.nl:openaire/b610c0ef-784d-4851-bce3-c4ba0bb46d50","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/b610c0ef-784d-4851-bce3-c4ba0bb46d50","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lathouwers, S, Liu, Y & Zaytsev, V 2025, 'Extract, model, refine : improved modelling of program verification tools through data enrichment', Software and systems modeling, vol. 24, no. 4, pp. 1293-1313. https://doi.org/10.1007/s10270-024-01232-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pubmedcentral.nih.gov:12289842","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/12289842","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"}],"best_oa_location":{"id":"doi:10.1007/s10270-024-01232-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01232-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01232-7.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":[{"id":"https://metadata.un.org/sdg/9","score":0.4099999964237213,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G8569044694","display_name":null,"funder_award_id":"VICI 639.023.710","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406189245.pdf","grobid_xml":"https://content.openalex.org/works/W4406189245.grobid-xml"},"referenced_works_count":89,"referenced_works":["https://openalex.org/W1781094","https://openalex.org/W13765794","https://openalex.org/W610253872","https://openalex.org/W1480909796","https://openalex.org/W1546768125","https://openalex.org/W1553511155","https://openalex.org/W2015688007","https://openalex.org/W2020505539","https://openalex.org/W2023808162","https://openalex.org/W2039438401","https://openalex.org/W2047988765","https://openalex.org/W2095631859","https://openalex.org/W2095761111","https://openalex.org/W2099478290","https://openalex.org/W2104612650","https://openalex.org/W2106388690","https://openalex.org/W2112472122","https://openalex.org/W2124968587","https://openalex.org/W2144752539","https://openalex.org/W2145063062","https://openalex.org/W2147148915","https://openalex.org/W2149505323","https://openalex.org/W2150189917","https://openalex.org/W2156629543","https://openalex.org/W2160747201","https://openalex.org/W2161253570","https://openalex.org/W2163743319","https://openalex.org/W2171881536","https://openalex.org/W2188548353","https://openalex.org/W2237372923","https://openalex.org/W2295561575","https://openalex.org/W2302430074","https://openalex.org/W2324601427","https://openalex.org/W2460107372","https://openalex.org/W2462453872","https://openalex.org/W2468888700","https://openalex.org/W2488488482","https://openalex.org/W2497946879","https://openalex.org/W2521984931","https://openalex.org/W2598112247","https://openalex.org/W2602098845","https://openalex.org/W2734454381","https://openalex.org/W2735457297","https://openalex.org/W2767011457","https://openalex.org/W2783006893","https://openalex.org/W2796071471","https://openalex.org/W2883188895","https://openalex.org/W2883903648","https://openalex.org/W2884507016","https://openalex.org/W2899292013","https://openalex.org/W2899532715","https://openalex.org/W2932972683","https://openalex.org/W2933614117","https://openalex.org/W2934127774","https://openalex.org/W2944423749","https://openalex.org/W2956582956","https://openalex.org/W2957876159","https://openalex.org/W2959777056","https://openalex.org/W2964227339","https://openalex.org/W2964602247","https://openalex.org/W2965187938","https://openalex.org/W2991486765","https://openalex.org/W3006841465","https://openalex.org/W3042730451","https://openalex.org/W3042912077","https://openalex.org/W3046404672","https://openalex.org/W3091355367","https://openalex.org/W3099232266","https://openalex.org/W3099627437","https://openalex.org/W3105859973","https://openalex.org/W3131040684","https://openalex.org/W3164356218","https://openalex.org/W3178506813","https://openalex.org/W3180354117","https://openalex.org/W3183749185","https://openalex.org/W3184424313","https://openalex.org/W3186103528","https://openalex.org/W3186232356","https://openalex.org/W3200008032","https://openalex.org/W3203474437","https://openalex.org/W4225751037","https://openalex.org/W4232685194","https://openalex.org/W4239307578","https://openalex.org/W4283216742","https://openalex.org/W4289923556","https://openalex.org/W4290087551","https://openalex.org/W4307177191","https://openalex.org/W4308643005","https://openalex.org/W4317602008"],"related_works":["https://openalex.org/W3120172095","https://openalex.org/W3171879404","https://openalex.org/W1497560829","https://openalex.org/W4205924073","https://openalex.org/W2997541867","https://openalex.org/W626284047","https://openalex.org/W2119257443","https://openalex.org/W2603044584","https://openalex.org/W2581508424","https://openalex.org/W2140586641"],"abstract_inverted_index":{"In":[0,10],"software":[1,133,165],"engineering,":[2],"models":[3,21],"are":[4,30],"used":[5,163],"for":[6,148],"many":[7,31],"different":[8,32,40],"things.":[9],"this":[11],"paper,":[12],"we":[13,19],"focus":[14],"on":[15,180],"program":[16,35,48,68,172],"verification,":[17],"where":[18],"use":[20,109],"to":[22,56,81,105,121,125,135,167],"reason":[23],"about":[24],"the":[25,45,75,108,115,127,169],"correctness":[26,41],"of":[27,34,47,66,77,110,114,171,189],"systems.":[28],"There":[29],"types":[33],"verification":[36,49,69,78,173,177],"techniques":[37],"which":[38],"provide":[39],"guarantees.":[42],"We":[43,60,144],"investigate":[44,139],"domain":[46],"tools":[50],"and":[51,92,141,174],"present":[52,62],"a":[53,63,176],"concise":[54],"megamodel":[55],"distinguish":[57],"these":[58],"tools.":[59,70,143],"also":[61,145],"data":[64,72,116,128,155],"set":[65,73],"400+":[67],"This":[71,183],"includes":[74],"category":[76],"tool":[79,178],"according":[80],"our":[82,152],"megamodel,":[83],"practical":[84,95],"information":[85],"such":[86,97],"as":[87,98],"input/output":[88],"format,":[89],"repository":[90],"links":[91],"more.":[93],"The":[94,130],"information,":[96],"last":[99],"commit":[100],"date,":[101],"is":[102,185],"kept":[103],"up":[104],"date":[106],"through":[107],"APIs.":[111],"Moreover,":[112],"part":[113],"extraction":[117],"has":[118],"been":[119],"automated":[120],"make":[122],"it":[123],"easier":[124],"expand":[126],"set.":[129],"categorisation":[131],"enables":[132],"engineers":[134,166],"find":[136,175],"suitable":[137],"tools,":[138],"alternatives":[140],"compare":[142],"identify":[146],"trends":[147],"each":[149],"level":[150],"in":[151],"megamodel.":[153],"Our":[154],"set,":[156],"publicly":[157],"available":[158],"at":[159],"https://doi.org/10.4121/20347950,":[160],"can":[161],"be":[162],"by":[164],"enter":[168],"world":[170],"based":[179],"their":[181],"requirements.":[182],"paper":[184],"an":[186],"extended":[187],"version":[188],"https://doi.org/10.1145/3550355.3552426.":[190]},"counts_by_year":[],"updated_date":"2026-03-12T06:13:28.667946","created_date":"2025-10-10T00:00:00"}