Continuous, Low Overhead, Run-Time Validation of Program Executions.

Erdem Aktas, Furat Afram, Kanad Ghose

Browse the full MICRO paper archive.