Integrating software testing

Integrating software testing and run-time checking in an assertion verification framework

FREE-DOWNLOAD [PDF] E Mera, P Lopez-García… – Logic Programming, 2009
Abstract. We present a framework that unifies unit testing and run- time verification (as well as
static verification and static debugging). A key contribution of our overall approach is that we
preserve the use of a unified assertion language for all of these tasks. We first describe a