| DifFuzz: differential fuzzing for side-channel analysis S Nilizadeh, Y Noller, CS Pasareanu 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 125 | 2019 |
| Semantic program repair using a reference implementation S Mechtaev, MD Nguyen, Y Noller, L Grunske, A Roychoudhury Proceedings of the 40th International Conference on Software Engineering …, 2018 | 118 | 2018 |
| VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python L Wartschinski, Y Noller, T Vogel, T Kehrer, L Grunske Information and Software Technology 144, 106809, 2022 | 108 | 2022 |
| NNrepair: Constraint-Based Repair of Neural Network Classifiers M Usman, D Gopinath, Y Sun, Y Noller, CS Păsăreanu Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 79 | 2021 |
| Badger: Complexity analysis with fuzzing and symbolic execution Y Noller, R Kersten, CS Păsăreanu Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 78 | 2018 |
| Trust Enhancement Issues in Program Repair Y Noller, R Shariffdeen, X Gao, A Roychoudhury | 69 | 2022 |
| HyDiff: Hybrid differential software analysis Y Noller, CS Păsăreanu, M Böhme, Y Sun, HL Nguyen, L Grunske Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 62* | 2020 |
| Concolic program repair R Shariffdeen, Y Noller, L Grunske, A Roychoudhury Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 59 | 2021 |
| Evolutionary grammar-based fuzzing M Eberlein, Y Noller, T Vogel, L Grunske Search-Based Software Engineering: 12th International Symposium, SSBSE 2020 …, 2020 | 47 | 2020 |
| Supporting semi-automatic co-evolution of architecture and fault tree models S Getir, L Grunske, A van Hoorn, T Kehrer, Y Noller, M Tichy Journal of Systems and Software 142, 115-135, 2018 | 30 | 2018 |
| Program Repair X Gao, Y Noller, A Roychoudhury arXiv preprint arXiv:2211.12787, 2022 | 18 | 2022 |
| QFuzz: Quantitative Fuzzing for Side Channels Y Noller, S Tizpaz-Niari Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 18 | 2021 |
| Symbolic Pathfinder for SV-COMP: (Competition Contribution) Y Noller, CS Păsăreanu, A Fromherz, XBD Le, W Visser Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 17 | 2019 |
| NEUROSPF: A tool for the Symbolic Analysis of Neural Networks M Usman, Y Noller, CS Păsăreanu, Y Sun, D Gopinath 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 9 | 2021 |
| Cerberus: a Program Repair Framework R Shariffdeen, M Mirchev, Y Noller, A Roychoudhury 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 7 | 2023 |
| Differential program analysis with fuzzing and symbolic execution Y Noller Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 7 | 2018 |
| Shadow symbolic execution with Java PathFinder Y Noller, HL Nguyen, M Tang, T Kehrer ACM SIGSOFT Software Engineering Notes 42 (4), 1-5, 2018 | 7 | 2018 |
| Complete Shadow Symbolic Execution with Java PathFinder Y Noller, HL Nguyen, M Tang, T Kehrer, L Grunske ACM SIGSOFT Software Engineering Notes 44 (4), 15-16, 2019 | 6 | 2019 |
| JMLKelinci+: Detecting semantic bugs and covering branches with valid inputs using coverage-guided fuzzing and runtime assertion checking A Nilizadeh, GT Leavens, CS Păsăreanu, Y Noller Formal Aspects of Computing 36 (1), 1-24, 2024 | 5 | 2024 |
| Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing IB Kadron, Y Noller, R Padhye, T Bultan, CS Păsăreanu, K Sen IEEE Software 41 (1), 98-104, 2023 | 4 | 2023 |
Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
