NTHRYS › PhD Assistance › Software Testing Verification

Software Testing Verification

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Symbolic Execution and Constraint Solving

Techniques for exploring program paths using symbolic values and SMT solvers to achieve systematic test coverage.