Mutation Analysis and Model Checking Guided Test Generation for SoC Run-Time Monitors.

Suriya Srinivasan, Ranga Vemuri

Browse the full VLSID paper archive.