1. Proving and Disproving Equivalence of Functional Programming Assignments;Proceedings of the ACM on Programming Languages;2023-06-06
2. Real-Time Restoration of Dark Stereo Images;2023 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV);2023-01
3. BugAnaBench: benchmark for software vulnerability analysis and its construction method;Second International Symposium on Computer Technology and Information Science (ISCTIS 2022);2022-12-08
4. Automated Feedback Generation for Competition-Level Code;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
5. Large-Scale Agile Transformations for Software Quality Assurance: An Empirical Case Study from Pakistan;Mathematical Problems in Engineering;2022-08-29