Threats to Instrument Validity Within “in Silico” Research: Software Engineering to the Rescue

Serge Demeyer; Coen De Roover; Mutlu Beyazit; Johannes Härtel

doi:10.1007/978-3-031-75387-9_6

Threats to Instrument Validity Within “in Silico” Research: Software Engineering to the Rescue

Serge Demeyer, Coen De Roover, Mutlu Beyazit, Johannes Härtel

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

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.

This position paper aims to understand and remedy threats to instrument validity in current “in silico” research. To achieve this goal, we specify a research agenda listing how recent software engineering achievements may improve “in silico” research (SE4Silico) and, conversely, how software engineering may strengthen its applicability (Silico4SE).

Original language	English
Title of host publication	Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2024)
Publisher	Springer
Pages	82-96
Number of pages	15
ISBN (Electronic)	978-3-031-75387-9
ISBN (Print)	978-3-031-75386-2
DOIs	https://doi.org/10.1007/978-3-031-75387-9_6
Publication status	Published - 26 Oct 2024
Event	12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024) - Crete, Greece Duration: 27 Oct 2024 → 31 Oct 2024 Conference number: 12

Publication series

Name	Lecture Notes In Computer Science
Publisher	Springer
Volume	15222
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)
Abbreviated title	ISoLA
Country/Territory	Greece
City	Crete
Period	27/10/24 → 31/10/24

Keywords

software engineering
data science
threats to validity
instrument validity

Access to Document

10.1007/978-3-031-75387-9_6Licence: CC BY

Handle.net

Persistent link

Cite this

Demeyer, S., De Roover, C., Beyazit, M., & Härtel, J. (2024). Threats to Instrument Validity Within “in Silico” Research: Software Engineering to the Rescue. In Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2024) (pp. 82-96). (Lecture Notes In Computer Science; Vol. 15222). Springer. https://doi.org/10.1007/978-3-031-75387-9_6

@inproceedings{b3455b4f5a7e4d70b01ba0aa0f79038a,

title = "Threats to Instrument Validity Within “in Silico” Research: Software Engineering to the Rescue",

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.This position paper aims to understand and remedy threats to instrument validity in current “in silico” research. To achieve this goal, we specify a research agenda listing how recent software engineering achievements may improve “in silico” research (SE4Silico) and, conversely, how software engineering may strengthen its applicability (Silico4SE).",

keywords = "software engineering, data science, threats to validity, instrument validity",

author = "Serge Demeyer and {De Roover}, Coen and Mutlu Beyazit and Johannes H{\"a}rtel",

year = "2024",

month = oct,

day = "26",

doi = "10.1007/978-3-031-75387-9_6",

language = "English",

isbn = "978-3-031-75386-2",

series = "Lecture Notes In Computer Science",

publisher = "Springer",

pages = "82--96",

booktitle = "Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2024)",

note = "12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024), ISoLA ; Conference date: 27-10-2024 Through 31-10-2024",

}

Demeyer, S, De Roover, C, Beyazit, M & Härtel, J 2024, Threats to Instrument Validity Within “in Silico” Research: Software Engineering to the Rescue. in Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2024). Lecture Notes In Computer Science, vol. 15222, Springer, pp. 82-96, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024), Crete, Greece, 27/10/24. https://doi.org/10.1007/978-3-031-75387-9_6

Threats to Instrument Validity Within “in Silico” Research: Software Engineering to the Rescue. / Demeyer, Serge; De Roover, Coen; Beyazit, Mutlu et al.
Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2024). Springer, 2024. p. 82-96 (Lecture Notes In Computer Science; Vol. 15222).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

TY - GEN

T1 - Threats to Instrument Validity Within “in Silico” Research: Software Engineering to the Rescue

AU - Demeyer, Serge

AU - De Roover, Coen

AU - Beyazit, Mutlu

AU - Härtel, Johannes

N1 - Conference code: 12

PY - 2024/10/26

Y1 - 2024/10/26

N2 - “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.This position paper aims to understand and remedy threats to instrument validity in current “in silico” research. To achieve this goal, we specify a research agenda listing how recent software engineering achievements may improve “in silico” research (SE4Silico) and, conversely, how software engineering may strengthen its applicability (Silico4SE).

AB - “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.This position paper aims to understand and remedy threats to instrument validity in current “in silico” research. To achieve this goal, we specify a research agenda listing how recent software engineering achievements may improve “in silico” research (SE4Silico) and, conversely, how software engineering may strengthen its applicability (Silico4SE).

KW - software engineering

KW - data science

KW - threats to validity

KW - instrument validity

U2 - 10.1007/978-3-031-75387-9_6

DO - 10.1007/978-3-031-75387-9_6

M3 - Conference paper

SN - 978-3-031-75386-2

T3 - Lecture Notes In Computer Science

SP - 82

EP - 96

BT - Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2024)

PB - Springer

T2 - 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)

Y2 - 27 October 2024 through 31 October 2024

ER -

Threats to Instrument Validity Within “in Silico” Research: Software Engineering to the Rescue

Abstract

Publication series

Conference

Keywords

Access to Document

Handle.net

Fingerprint

Cite this