Software Testing Verification

Research Frontiers in Formal Methods Synthesis Testing Strategies

Investigation of using formal synthesis techniques to automatically generate comprehensive test suites from specifications.

All Software Testing & Verification PhD categories