Software Testing Verification

Research Frontiers in Static Analysis and Type System Verification

Investigation of advanced static analysis techniques and formal type system verification for detecting type-related bugs and ensuring program safety properties.

All Software Testing & Verification PhD categories