We present a new, semantics-based approach to mechanical program repair where the intended meaning of broken programs (i.e., programs that may abort under a given, error-admitting language semantics) ...

Multi-Output symbolic regression predicts multiple target variables simultaneously, adding complexity overregression model with a single output, attributed to the interdependence between output ...