Title: Combining runtime verification and testing: QuickCheck to LARVA

Abstract:
Testing and runtime verification (RV) are two approaches to what is essentially the same problem, namely
that of verifying a system's correctness. Verifying a non-trivial system with either technique requires
significant commitments of time and, consequently, money. Thus, it is rarely the case that both verification
techniques are employed simultaneously on the same system to equal extents, instead opting to invest
more in one technique over the other.

We believe that testing and RV need not be entirely disjoint, and that certain properties may be expressed
in such a way as to be verifiable using either technique. This talk will examine the translation of testing
properties expressed in QuickCheck into runtime monitors defined as DATEs, showing how a property
originally concieved as a program trace generator could double as a bad trace acceptor.