Tian, H et al. Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness. International Conference on Automated Software Engineering, 2022.
Tian, H et al. Predicting Patch Correctness Based on the Similarity of Failing Test Cases. Transactions on Software Engineering and Methodology, 2022.
Habib, A et al. Finding Data Compatibility Bugs with JSON Subschema Checking. International Symposium on Software Testing and Analysis, 2021.
Habib, A et al. Is This Class Thread-Safe? Inferring Documentation using Graph-based Learning. International Conference on Automated Software Engineering, 2018.
Habib, A. How Many of All Bugs Do We Find? A Study of Static Bug Detectors. International Conference on Automated Software Engineering, 2018.
Distinguished Artefact Award, International Symposium on Software Testing and Analysis.
PhD Scholarship, Erasmus Mundus, European Commission EACEA.
Masters Scholarship, Leadership for Education and Development (LEAD), USAID and The Egyptian Ministry of International Cooperation.