Follow
Yannic Noller
Yannic Noller
Verified email at sutd.edu.sg - Homepage
Title
Cited by
Cited by
Year
DifFuzz: differential fuzzing for side-channel analysis
S Nilizadeh, Y Noller, CS Pasareanu
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
113*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
1072018
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
742018
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
732022
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
52*2020
Trust Enhancement Issues in Program Repair
Y Noller, R Shariffdeen, X Gao, A Roychoudhury
512022
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
502021
Concolic program repair
R Shariffdeen, Y Noller, L Grunske, A Roychoudhury
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
472021
Evolutionary grammar-based fuzzing
M Eberlein, Y Noller, T Vogel, L Grunske
Search-Based Software Engineering: 12th International Symposium, SSBSE 2020 …, 2020
352020
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
292018
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
172019
Program Repair
X Gao, Y Noller, A Roychoudhury
arXiv preprint arXiv:2211.12787, 2022
142022
QFuzz: Quantitative Fuzzing for Side Channels
Y Noller, S Tizpaz-Niari
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
142021
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
72021
Differential program analysis with fuzzing and symbolic execution
Y Noller
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
62018
Shadow symbolic execution with Java PathFinder
Y Noller, HL Nguyen, M Tang, T Kehrer
ACM SIGSOFT Software Engineering Notes 42 (4), 1-5, 2018
62018
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
52019
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
42024
Cerberus: a Program Repair Framework
R Shariffdeen, M Mirchev, Y Noller, A Roychoudhury
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
22023
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, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20