Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework

by Edison Mera , Pedro Lopez-garcía , Manuel Hermenegildo
Citations:7 - 3 self