Publications

Check also on Google Scholar, Semantic Scholar, DBLP, and ACM DL.

2023

[ICSE’2023 Demo-Track]
Cerberus: a Program Repair Framework
Ridwan Shariffdeen, Martin Mirchev, Yannic Noller, and Abhik Roychoudhury
IEEE/ACM International Conference on Software Engineering (ICSE) 2023, Tool Demonstrations track.
[pdf] [code] [video]

[IEEE Software]
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing
Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, and Koushik Sen
Accepted for publication in IEEE Software, 2023.
[pdf] [doi] [bibtex]

2022

[Preprint’2022]
Program Repair
Xiang Gao, Yannic Noller, and Abhik Roychoudhury
arxiv Report 2211.12787, Nov 2022.
[pdf]

[IST’2022]
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python
Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, and Lars Grunske
Journal of Information and Software Technology, 2022.
[pdf] [doi] [bibtex]

[ICSE’2022]
Trust Enhancement Issues in Program Repair
Yannic Noller*, Ridwan Shariffdeen*, Xiang Gao, and Abhik Roychoudhury (*Joint first authors)
IEEE/ACM 44th International Conference on Software Engineering (ICSE) 2022.
[pdf] [doi] [bibtex] [slides] [video] [artifact]

2021

[ISSTA’2021]
QFuzz: Quantitative Fuzzing for Side Channels
Yannic Noller and Saeid Tizpaz-Niari
30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2021. (51/233 = 21.9%)
[pdf] [code] [doi] [bibtex] [slides] [video] [artifact]

[CAV’2021]
NNrepair: Constraint-based Repair of Neural Network Classifiers
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, and Corina S. Pasareanu
(Invited Paper) 33rd International Conference on Computer Aided Verification (CAV) 2021.
[pdf] [code] [doi] [bibtex]

[PLDI’2021]
Concolic Program Repair
Ridwan Shariffdeen*, Yannic Noller*, Lars Grunske, and Abhik Roychoudhury (*Joint first authors)
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2021.
[pdf] [code] [doi] [bibtex] [slides] [video] [poster] [webpage] [artifact]

[ICSE’2021 Demo-Track]
NeuroSPF: A tool for the Symbolic Analysis of Neural Networks
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, and Divya Gopinath
Demonstrations Track at 43rd International Conference on Software Engineering (ICSE) 2021. (23/62 = 37.1%)
[pdf] [code] [doi] [bibtex] [video]

2020

[SSBSE’2020]
Evolutionary Grammar-Based Fuzzing
Martin Eberlein, Yannic Noller, Thomas Vogel, and Lars Grunske
12th Symposium on Search-Based Software Engineering (SSBSE) 2020.
[pdf] [code] [doi] [bibtex]

[ICSE’2020]
HyDiff: Hybrid Differential Software Analysis
Yannic Noller, Corina Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, and Lars Grunske
42st International Conference on Software Engineering (ICSE) 2020. (129/617 = 20.9%)
[pdf] [code] [doi] [bibtex] [slides] [video] [artifact]

2019

[JPF’2019]
Complete Shadow Symbolic Execution with Java PathFinder
Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer and Lars Grunske
SIGSOFT Software Engineering Notes 44, 4 (December 2019), 15-16.
Presented at Java Pathfinder Workshop 2019 at ASE 2019 in San Diego, California, USA (November 11-15, 2019).
[pdf] [code] [doi] [bibtex] [slides]

[TACAS’2019]
Symbolic Pathfinder for SV-COMP
Yannic Noller, Corina Pasareanu, Aymeric Fromherz, Xuan-Bach D. Le, and Willem Visser
Competition Contribution: SV-COMP 2019. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2019. Lecture Notes in Computer Science, vol 11429.
[pdf] [code] [doi] [bibtex]

[ICSE’2019]
DifFuzz: Differential Fuzzing for Side-Channel Analysis
Shirin Nilizadeh*, Yannic Noller*, and Corina Pasareanu (*Joint first authors)
In Proceedings of the 41st International Conference on Software Engineering (ICSE) 2019. IEEE Press, Piscataway, NJ, USA, 176-187. (109/529 = 20.6%)
A summary will be presented at SE 2020 and published in Lecture Notes in Informatics.
[pdf] [code] [doi] [bibtex] [slides] [SE 2020] [SE 2020 poster]

2018

[ASE’2018 Doctoral Symposium]
Differential Program Analysis with Fuzzing and Symbolic Execution
Yannic Noller
As part of the Doctoral Symposium in the Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018). Pages 944-947.
[pdf] [doi] [bibtex]

[ISSTA’2018]
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Yannic Noller, Rody Kersten, and Corina Pasareanu
In Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2018. Pages 322-332. (31/132 = 23.5%)
A summary was presented at SE/SWM 2019 and published in Lecture Notes in Informatics.
[pdf] [code] [doi] [bibtex] [slides] [poster] [SE/SWM19]

[JSS’2018]
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models
Sinem Getir, Lars Grunske, André van Hoorn, Timo Kehrer, Yannic Noller, and Matthias Tichy
Journal of Systems and Software, Volume 142, August 2018, Pages 115-135.
A summary was presented at SE/SWM 2019 and published in Lecture Notes in Informatics.
[pdf] [doi] [bibtex] [SE/SWM19]

[ICSE’2018]
Semantic Program Repair Using a Reference Implementation
Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, and Abhik Roychoudhury
In Proceedings of the 40th International Conference on Software Engineering (ICSE ‘18). Pages 129-139. (105/502 = 20.9%)
[pdf] [doi] [bibtex]

2017

[JPF’2017]
Shadow Symbolic Execution with Java PathFinder
Yannic Noller, Hoang Lam Nguyen, Minxing Tang, and Timo Kehrer
SIGSOFT Software Engineering Notes 42, 4 (January 2018).
Presented at Java Pathfinder Workshop 2017 (November 3, 2017, Urbana-Champaign, IL, USA)
[pdf] [code] [doi] [bibtex]


Note: Above are the author’s versions of the works. They are posted here for your personal use. Not for redistribution. The definitive versions were published in the referenced conferences / journals.