Software Testing Verification

Research Frontiers in Differential Testing Cross-Compiler Implementations

Research on comparing outputs of multiple compiler implementations to identify bugs through differential analysis and consistency checking.

All Software Testing & Verification PhD categories