NTHRYS › PhD Assistance › Software Engineering

Software Engineering

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Automated Patch Generation from Specifications

Investigates synthesis techniques to automatically generate security patches and bug fixes from formal specifications and test cases.