Runtime assertion checking (RAC) is a convenient set of techniques that lets developers
abstract away the process of verifying the correctness of their programs by writing formal …

Dynamic automated program repair (APR) techniques, which use test suites for bug
localization and evaluating candidate patches, have promising results. However, many …

Testing to detect semantic bugs is essential, especially for critical systems. Coverage-guided
fuzzing (CGF) and runtime assertion checking (RAC) are two well-known approaches for …

Runtime Assertion Checking (RAC) is the discipline of verifying program assertions at
runtime, ie when executing the code. Nowadays, RAC usually relies on Behavioral Interface …

Abstract Runtime Annotation Checking (RAC) is a lightweight formal method consisting in
checking code annotations written in the source code during the program execution. While …

Runtime Assertion Checking (RAC) is a lightweight formal method that verifies formal code
annotations, typically assertions, at runtime. The main RAC challenge consists in generating …

Software is widely used in critical systems. Thus, it is important that developers can quickly
find semantic bugs with testing; however, semantic bugs can only be revealed by tests that …

Abstract Runtime Assertion Checking (RAC) is a lightweight formal method for verifying at
runtime code properties written in a formal specification language. One of the main …

In behavioural specifications of imperative languages, postconditions may refer to the
prestate of the function, usually with an old operator. Therefore, code performing runtime …

Runtime Assertion Checking (RAC) for expressive specification languages is a non-trivial
verification task that becomes even more complex for memory-related properties of …