Yannic Noller

According to our database, Yannic Noller authored at least 29 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking.

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller

Formal Aspects Comput., March, 2024

Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing.

Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen

IEEE Softw., 2024

Codexity: Secure AI-assisted Code Generation.

Sung Yong Kim, Zhiyu Fan, Yannic Noller, Abhik Roychoudhury

CoRR, 2024

2023

The Java Pathfinder Workshop 2022.

Elena Sherman, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra, Filip Kliber, Gaurang Kudale, Pavel Parízek, Corina S. Pasareanu, Ron Pressler, Matt Walker, Hongru Wang, Qiuchen Yan

ACM SIGSOFT Softw. Eng. Notes, January, 2023

Intelligent Tutoring System: Experience of Linking Software Engineering and Programming Teaching.

Zhiyu Fan, Yannic Noller, Ashish Dandekar, Abhik Roychoudhury

CoRR, 2023

Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary.

Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske

Proceedings of the Software Engineering 2023, 2023

Cerberus: a Program Repair Framework.

Ridwan Shariffdeen, Martin Mirchev, Yannic Noller, Abhik Roychoudhury

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python.

Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske

Inf. Softw. Technol., 2022

Program Repair.

Xiang Gao, Yannic Noller, Abhik Roychoudhury

CoRR, 2022

Trust Enhancement Issues in Program Repair.

Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

How to trust auto-generated code patches? A developer survey and empirical assessment of existing program repair tools.

Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury

CoRR, 2021

Concolic program repair.

Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

QFuzz: quantitative fuzzing for side channels.

Yannic Noller, Saeid Tizpaz-Niari

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks.

Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

NNrepair: Constraint-Based Repair of Neural Network Classifiers.

Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Hybrid Differential Software Testing.

Yannic Noller

PhD thesis, 2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Evolutionary Grammar-Based Fuzzing.

Martin Eberlein, Yannic Noller, Thomas Vogel, Lars Grunske

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

DifFuzz: Differential Fuzzing for Side-Channel Analysis.

Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu

Proceedings of the Software Engineering 2020, 2020

HyDiff: hybrid differential software analysis.

Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Hybrid Differential Software Testing.

Yannic Noller

Proceedings of the Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, 2020

2019

Complete Shadow Symbolic Execution with Java PathFinder.

Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer, Lars Grunske

ACM SIGSOFT Softw. Eng. Notes, 2019

Symbolic Pathfinder for SV-COMP - (Competition Contribution).

Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Badger: Complexity Analysis with Fuzzing and Symbolic Execution.

Yannic Noller, Rody Kersten, Corina S. Pasareanu

Proceedings of the Software Engineering and Software Management, 2019

Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models.

Sinem Getir, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy

Proceedings of the Software Engineering and Software Management, 2019

2018

Supporting semi-automatic co-evolution of architecture and fault tree models.

Sinem Getir, Lars Grunske, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy

J. Syst. Softw., 2018

Differential program analysis with fuzzing and symbolic execution.

Yannic Noller

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Semantic program repair using a reference implementation.

Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Shadow Symbolic Execution with Java PathFinder.

Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer

ACM SIGSOFT Softw. Eng. Notes, 2017