Software Testing Verification

Research Frontiers in Invariant Detection Dynamic Execution Analysis

Development of tools to automatically discover likely program invariants from execution traces for oracle specification.

All Software Testing & Verification PhD categories