Last updated on Monday, October 06, 2025
@inproceedings{Demeyer2024isola,
author = {Demeyer, Serge and Roover, Coen De and
Beyaz{\i}t, Mutlu and H{\"a}rtel, Johannes},
booktitle = {Proceedings {ISOLA 2024} (Leveraging Applications of
Formal Methods, Verification and Validation:
Engineering Principles)},
editor = {Margaria, Tiziana and Steffen, Bernhard},
month = oct,
pages = {82--96},
publisher = {Springer International Publishing},
title = {Threats to Instrument Validity Within ``in Silico''
Research: Software Engineering to the Rescue},
year = {2024},
abstract = {``In Silico'' research drives the world around us, as
illustrated by the way our society handles climate
change, controls the COVID-19 pandemic and governs
economic growth. Unfortunately, the code embedded in
the underlying data processing is mostly written by
scientists lacking formal training in software
engineering. The resulting code is vulnerable,
suffering from what is known as threats to instrument
validity.},
annote = {workshoppaper},
doi = {10.1007/978-3-031-75387-9_6},
}