{"id":"https://openalex.org/W6888069036","doi":"https://doi.org/10.18420/se2022-ws-011","title":"Text/Conference Paper","display_name":"Text/Conference Paper","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W6888069036","doi":"https://doi.org/10.18420/se2022-ws-011"},"language":"en","primary_location":{"id":"doi:10.18420/se2022-ws-011","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2022-ws-011","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210134436","host_organization_name":"German Informatics Society","host_organization_lineage":["https://openalex.org/I4210134436"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/se2022-ws-011","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Haltermann, Jan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Haltermann, Jan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Wehrheim, Heike","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wehrheim, Heike","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19538697,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.19329999387264252,"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/T10126","display_name":"Logic, programming, and type systems","score":0.19329999387264252,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.13349999487400055,"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.12370000034570694,"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/delegate","display_name":"Delegate","score":0.8209999799728394},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.5748999714851379},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.512499988079071},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.47699999809265137},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4713999927043915},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4564000070095062},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4507000148296356}],"concepts":[{"id":"https://openalex.org/C143273055","wikidata":"https://www.wikidata.org/wiki/Q2382794","display_name":"Delegate","level":2,"score":0.8209999799728394},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7389000058174133},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.5748999714851379},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.512499988079071},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.47699999809265137},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47519999742507935},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4713999927043915},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4564000070095062},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4507000148296356},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4165000021457672},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3125999867916107},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.31029999256134033},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.2928999960422516},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.28200000524520874},{"id":"https://openalex.org/C2984968299","wikidata":"https://www.wikidata.org/wiki/Q1077784","display_name":"Software tool","level":3,"score":0.26969999074935913},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18420/se2022-ws-011","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2022-ws-011","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210134436","host_organization_name":"German Informatics Society","host_organization_lineage":["https://openalex.org/I4210134436"],"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.18420/se2022-ws-011","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2022-ws-011","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210134436","host_organization_name":"German Informatics Society","host_organization_lineage":["https://openalex.org/I4210134436"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.549925684928894}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Software":[0],"verification":[1,53,85,91,113],"has":[2],"recently":[3],"made":[4],"enormous":[5],"progress.":[6],"To":[7],"keep":[8],"their":[9,25,109],"tools":[10,64],"up":[11,132],"to":[12,56,80,93,100,133],"date":[13],"with":[14],"novel":[15,44,63],"methods":[16],"and":[17,59],"enhanced":[18],"techniques,":[19],"tool":[20,92],"developers":[21],"integrate":[22],"these":[23],"within":[24,111],"own":[26],"framework":[27,48],"almost":[28],"exclusively":[29],"by":[30],"re-implementation.":[31],"While":[32],"this":[33],"allows":[34,88],"for":[35,74],"a":[36,84,89],"conceptual":[37],"re-use":[38],"of":[39,62,83,97,122,128],"methods,":[40],"it":[41],"nevertheless":[42],"requires":[43],"implementations.":[45],"Our":[46],"configurable":[47],"named":[49],"CoVEGI":[50,87,123],"employs":[51],"cooperative":[52],"in":[54,68],"order":[55],"avoid":[57],"re-implementation":[58],"enable":[60],"usage":[61],"as":[65],"black-box":[66],"components":[67],"verification.":[69],"Specifically,":[70],"cooperation":[71],"is":[72,78],"employed":[73],"invariant":[75,98,106],"generation,":[76],"which":[77],"key":[79],"the":[81,95,120,126,137],"success":[82],"run.":[86,114],"main":[90],"delegate":[94],"task":[96],"generation":[99],"one":[101],"or":[102],"several":[103],"specialized":[104],"helper":[105],"generators,":[107],"utilizing":[108],"results":[110],"its":[112],"The":[115],"experimental":[116],"evaluation":[117],"shows":[118],"that":[119],"use":[121],"can":[124],"increase":[125],"number":[127],"correctly":[129],"verified":[130],"tasks":[131],"17%,":[134],"without":[135],"increasing":[136],"used":[138],"resources.":[139]},"counts_by_year":[],"updated_date":"2026-08-13T07:04:57.449891","created_date":"2025-10-10T00:00:00"}