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

by Edison Mera , Pedro Lopez-garcía , Manuel Hermenegildo
Citations:9 - 4 self