Due to the increasing demand for quick time-to-market and diverse functionalities in the development of power train controllers, the traditional vehicle development process must be replaced with a ...

Automated Program Repair (APR) faces a key challenge in efficiently generating correct patches from a potentially infinite solution space. Existing approaches, which attempt to reason about the entire ...