Regression test selection (RTS) aims to reduce regression testing time by only re-running
the tests affected by code changes. Prior research on RTS can be broadly split into dy namic …

Some commonly used methods have nondeterministicspecifications, eg, iterating through a
set canreturn the elements in any order. However, non-deterministicspecifications typically …

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

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 …

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 …

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 …

Runtime verification (RV) monitors program executions against formal specifications (specs).
Researchers showed that RV during software testing amplifies the bug-finding ability of …

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 enforcement ensures the respect of a user-specified security policy by a program
by providing a valid replacement for any misbehaving sequence of events that may occur …