NTHRYS › PhD Assistance › Software Testing Verification

Software Testing Verification

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Symbolic Testing for Integer Overflow Detection

Using symbolic execution to discover and verify integer overflow and underflow vulnerabilities in numerical computations.