Yannic Noller
Yannic Noller
Postdoctoral Researcher, National University of Singapore
Verified email at nus.edu.sg - Homepage
Title
Cited by
Cited by
Year
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
482018
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
282018
DifFuzz: differential fuzzing for side-channel analysis
S Nilizadeh, Y Noller, CS Pasareanu
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
25*2019
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
132018
Symbolic pathfinder for SV-COMP
Y Noller, CS Păsăreanu, A Fromherz, XBD Le, W Visser
International Conference on Tools and Algorithms for the Construction and …, 2019
82019
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
HyDiff: Hybrid differential software analysis
Y Noller, CS Păsăreanu, M Böhme, Y Sun, HL Nguyen, L Grunske
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE …, 2020
42020
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
22019
Differential program analysis with fuzzing and symbolic execution
Y Noller
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
22018
Evolutionary Grammar-Based Fuzzing
M Eberlein, Y Noller, T Vogel, L Grunske
International Symposium on Search Based Software Engineering, 105-120, 2020
12020
NNrepair: Constraint-based Repair of Neural Network Classifiers
M Usman, D Gopinath, Y Sun, Y Noller, C Pasareanu
arXiv preprint arXiv:2103.12535, 2021
2021
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
M Usman, Y Noller, C Pasareanu, Y Sun, D Gopinath
arXiv preprint arXiv:2103.00124, 2021
2021
Concolic Program Repair
R Shariffdeen, Y Noller, L Grunske, A Roychoudhury
2021
Hybrid Differential Software Testing
Y Noller
Humboldt-Universität zu Berlin, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–14