2 papers
cs.PL2024
The Fearless Journey [Draft]
Nick Webster, Marco Servetto, Michael Homer
Existing minimal Object-Oriented models (OO), like Featherweight Java (FJ), are valuable for modelling programs and designing new programming languages and tools. However, their ut…
cs.SE2024
CrashJS: A NodeJS Benchmark for Automated Crash Reproduction
Philip Oliver, Jens Dietrich, Craig Anslow +1
Software bugs often lead to software crashes, which cost US companies upwards of $2.08 trillion annually. Automated Crash Reproduction (ACR) aims to generate unit tests that succes…