Crossmark

Extract, model, refine: improved modelling of program verification tools through data enrichment

Published Online: 2025-01-08

Published Print: 2025-08

Authors

Lathouwers, Sophie

Liu, Yujie

Zaytsev, Vadim https://orcid.org/0000-0001-7764-4224
Funding

Funding for this research was provided by:

Nederlandse Organisatie voor Wetenschappelijk Onderzoek (VICI 639.023.710)
License Information

Text and Data Mining valid from 2025-01-08

Version of Record valid from 2025-01-08
More Information

Article History

Received: 6 May 2023

Revised: 17 June 2024

Accepted: 19 September 2024

First Online: 8 January 2025

Document is current