How Many of All Bugs Do We Find? A Study of Static Bug Detectors A Habib, M Pradel Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 108 | 2018 |
Neural Bug Finding: A Study of Opportunities and Challenges A Habib, M Pradel arXiv preprint arXiv:1906.00307, 2019 | 26 | 2019 |
Predicting Patch Correctness Based on the Similarity of Failing Test Cases H Tian, Y Li, W Pian, AK Kabore, K Liu, A Habib, J Klein, TF Bissyandé ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-30, 2022 | 25 | 2022 |
The Best of Both Worlds: Combining Learned Embeddings with Engineered Features for Accurate Prediction of Correct Patches H Tian, K Liu, Y Li, AK Kaboré, A Koyuncu, A Habib, L Li, J Wen, J Klein, ... ACM Transactions on Software Engineering and Methodology 32 (4), 1-34, 2023 | 21 | 2023 |
Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness H Tian, X Tang, A Habib, S Wang, K Liu, X Xia, J Klein, TF Bissyandé Proceedings of the 37rd ACM/IEEE International Conference on Automated …, 2022 | 20 | 2022 |
Finding Data Compatibility Bugs with JSON Subschema Checking A Habib, A Shinnar, M Hirzel, M Pradel Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 16 | 2021 |
Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning A Habib, M Pradel Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 12 | 2018 |
MetaTPTrans: A meta learning approach for multilingual code representation learning W Pian, H Peng, X Tang, T Sun, H Tian, A Habib, J Klein, TF Bissyandé Proceedings of the AAAI Conference on Artificial Intelligence 37 (4), 5239-5247, 2023 | 10 | 2023 |
Type Safety with JSON Subschema A Habib, A Shinnar, M Hirzel, M Pradel arXiv preprint arXiv:1911.12651, 2019 | 6 | 2019 |
Finding Concurrency Bugs Using Graph-Based Anomaly Detection in Big Code A Habib Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016 | 3 | 2016 |
Enriching Automatic Test Case Generation by Extracting Relevant Test Inputs from Bug Reports WC Ouédraogo, L Plein, K Kaboré, A Habib, J Klein, D Lo, TF Bissyandé arXiv preprint arXiv:2312.14898, 2023 | 1 | 2023 |
Learning to Represent Patches X Tang, H Tian, Z Chen, W Pian, S Ezzini, AK Kabore, A Habib, J Klein, ... Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | | 2024 |
Extracting Relevant Test Inputs from Bug Reports for Automatic Test Case Generation WC Ouédraogo, L Plein, K Kaboré, A Habib, J Klein, D Lo, TF Bissyande Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | | 2024 |
Test Input Prioritization for Graph Neural Networks Y Li, X Dang, W Pian, A Habib, J Klein, T Bissyandé IEEE Transactions on Software Engineering, 2024 | | 2024 |
Security Vulnerabilities in Infrastructure as Code: What, How Many, and Who? A War, A Habib, A Diallo, J Klein, TF Bissyandé | | 2023 |
Learning to Represent Patches X Tang, H Tian, Z Chen, W Pian, S Ezzini, AK Kabore, A Habib, J Klein, ... arXiv preprint arXiv:2308.16586, 2023 | | 2023 |
Learning to Find Bugs in Programs and their Documentation A Habib Technical University of Darmstadt, Germany, 2021 | | 2021 |
More than 20 Years of Shellshock AR Simal, A Habib, DK Bansal | | |
Information Flow Control in C using the Decentralized Label Model⋆ A Habib | | |
A Typing System for AIF Set-Based Abstraction A Habib | | |