Software Testing Verification

Research Frontiers in Source Code Semantics Understanding via Testing

Using test generation and execution patterns to infer and verify semantic properties of source code without explicit specifications.

All Software Testing & Verification PhD categories