Subject
Hardware and Architecture,Information Systems,Software
Reference93 articles.
1. Al-Bataineh, O.I., Grishina, A., Moonen, L., 2021a. Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques. In: IEEE Int’L Conference on Software Quality, Reliability and Security (QRS). pp. 654–663, doi:10/gp6kq6.
2. Towards extending the range of bugs that automated program repair can handle;Al-Bataineh,2022
3. Al-Bataineh, O., Ng, D.J.X., Easwaran, A., 2021b. Monitoring Cumulative Cost Properties. In: Int’L Conference on Formal Methods in Software Engineering (FormaliSE). pp. 19–30, doi:10/gp6kqw.
4. Defining liveness;Alpern;Inform. Process. Lett.,1985
5. Recognizing safety and liveness;Alpern;Distrib. Comput.,1987