NTHRYS › PhD Assistance › Software Engineering

Software Engineering

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Program Synthesis from Specifications

Investigation of automated methods to generate executable code directly from formal specifications or example inputs and outputs.