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

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