News

For testing systems, we need concrete test cases for executing a system under test. Furthermore, such test cases must be relevant to the application domain and cover critical situations a system has ...
Automated program repair is the problem of automatically fixing bugs in programs in order to significantly reduce the debugging costs and improve the software quality. To address this problem, ...