Regression test selection (RTS) aims to speed up regression testing by rerunning only tests
that are affected by code changes. RTS can be performed using static or dynamic analysis …

Drones are widely used in a number of key fields and are having a profound impact on all
walks of life. Working out how to improve drone safety through fault detection is key to …

Regression testing is an important part of the software development process but suffers from
the presence of flaky tests. Flaky tests are tests that can nondeterministically pass or fail …

Misuse of cryptographic (crypto) APIs is a noteworthy cause of security vulnerabilities. For
this reason, static analyzers were recently proposed for detecting crypto API misuses. They …

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 …

To deal with frequent software changes, as eg, caused by agile software development
processes, software verification tools must be incremental. While many existing incremental …

Software changes frequently. To efficiently deal with such frequent changes, software
verification tools must be incremental. Most of today's approaches for incremental …

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 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) helps to find software bugs by monitoring formally specified
properties during testing. A key problem in using RV during testing is how to reduce the …