Runtime Verification (RV) can help find software bugs by monitoring formally specified
properties during testing. A key problem when using RV during testing is how to reduce the …

Runtime Verification (RV) can help find bugs by monitoring program executions against
formal properties. Developers should ideally use RV whenever they run tests, to find more …

The risk posed by software bugs has increased tremendously as software is now essential to
many aspects of our daily lives. Software testing is still the most common method for finding …

Runtime Verification (RV) is a technique to monitor formally-specified properties of the
software during its execution. RV has shown to be very effective for bug finding …

Runtime verification can be used to find bugs early, during software development, by
monitoring test executions against formal specifications (specs). The quality of runtime …

Runtime verification (RV) is a field of study which suffers from a lack of dedicated
benchmarks. Many published evaluations of RV tools rely on workloads which are not …

Runtime verification can be used to find bugs early, during software development, by
monitoring test executions against formal specifications (specs). The quality of runtime …

We present eMOP, a tool for incremental runtime verification (RV) of test executions during
software evolution. We previously used RV to find hundreds of bugs in open-source projects …

Can a machine find and fix a Semantic Bug? A Semantic Bug is a deviation from the
expected program behaviour that causes to produce incorrect outputs for certain inputs. To …

This volume contains the proceedings of the 16th International Conference on Runtime
Verification (RV 2016), which was held September 23–30, 2016, at La Residencia de …