Software Testing Verification

Research Frontiers in Invariant Inference and Assertion Generation

Automatically inferring program invariants and behavioral properties from test execution traces to strengthen test oracles.

All Software Testing & Verification PhD categories