29 citations · 56 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023
Tests4Py: A Benchmark for System Testing
Marius Smytzek, Martin Eberlein, Batuhan Serce +2
Benchmarks are among the main drivers of progress in software engineering research. However, many current benchmarks are limited by inadequate system oracles and sparse unit tests.…
cs.SE2023
Runtime Verification of Self-Adaptive Systems with Changing Requirements
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues +1
To accurately make adaptation decisions, a self-adaptive system needs precise means to analyze itself at runtime. To this end, runtime verification can be used in the feedback loop…