Automated Program Repair (APR) techniques typically rely on a given
test...
Ensuring the correctness of software for communication centric programs ...
Implementing bug-free concurrent programs is a challenging task in moder...
In program synthesis there is a well-known trade-off between concise and...