NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Mutation Testing and Test Adequacy

Formal evaluation of test suite quality through mutation injection and coverage criteria ensuring detection of artificial code faults.