Yannic Noller

Doctoral Student, Computer Science

Software Engineering Department
Humboldt-Universität zu Berlin


Find Out More

I am a fourth year PhD student at the Humboldt-Universität zu Berlin, advised by Lars Grunske. My research interests address the need for efficient and scalable techniques in verification of real-world software systems. Such techniques are crucial to help software engineers to develop and maintain modern software systems, whose activities are driven by properties like correctness and reliability. I am particular interested in developing such techniques for automated software engineering such as testing, program repair and probabilistic software analysis.

My PhD work focuses on the differential program analysis, i.e., the identification of behavioral divergences: (1) between two program versions for the same input (aka regression analysis), and (2) for the same program with two different inputs, e.g. algorithmic complexity analysis and side-channel analysis. I apply combinations like fuzzing and symbolic execution to several application domains in order to provide efficient and scalable techniques.

Latest News


September 2020

Proud to announce that I just passed my PhD defense with distinction! :) You can check my slides.

July 2020

Our paper Evolutionary Grammar-Based Fuzzing got accepted at 12th Symposium on Search-Based Software Engineering (SSBSE 2020).

June 2020

I finally submitted my PhD thesis! *yeah* :D 2016-2020, 4 years 2 months, 8715 hours.

May 2020

I am a mentor for the Google Summer of Code (GSoC) 2020 for the project Symbolic PathFinder for Neural Network Analysis.

Archive

Publications


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

2020

Evolutionary Grammar-Based Fuzzing

Martin Eberlein, Yannic Noller, Thomas Vogel and Lars Grunske
Accepted for the 12th Symposium on Search-Based Software Engineering (SSBSE 2020).
[doi] [bibtex]

HyDiff: Hybrid Differential Software Analysis

Yannic Noller, Corina Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, and Lars Grunske
Accepted for the 42st International Conference on Software Engineering (ICSE 2020). (129/617 = 20.9%)
[doi] [bibtex] [slides]

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).
[doi] [bibtex] [slides]

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.
[doi] [bibtex]

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 '19). 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.
[doi] [bibtex] [slides] [SE 2020] [SE 2020 poster]

2018

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.
[doi] [bibtex]

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.
[doi] [bibtex] [slides] [poster] [SE/SWM19]

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

Sinem Getir, Lars Grunske, André van Hoorn, Timo Kehrer, Yannic Noller, 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.
[doi] [bibtex] [SE/SWM19]

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%)
[doi] [bibtex]

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)
[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.

Professional Activities


Committee Member

  • A-TEST Hands-on Session Chair: 2020, Workshop on Automating TEST Case Design, Selection and Evaluation (A-TEST)
  • ISSTA Artifact Evaluation: 2020, Inter. Symposium on Software Testing and Analysis (ISSTA)
  • VMCAI Artifact Evaluation: 2020, Inter. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI)

Journal Reviewing

  • Empirical Software Engineering (EMSE): 2019
  • Automated Software Engineering (AUSE): 2019
  • IEEE Transactions on Dependable and Secure Computing (TDSC): 2019

Subreviewing

  • Formal Methods in Computer-Aided Design (FMCAD): 2020
  • Intern. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): 2019
  • IEEE Intern. Conf. on Software Testing, Verification and Validation (ICST): 2018
  • ACM/IEEE Intern. Conf. on Software Engineering (ICSE): 2017
  • IEEE/ACM Intern. Conf. on Automated Software Engineering (ASE): 2016, 2017

Mentor

Education


Dr. rer. nat. (PhD), Computer Science

2016 - present (expected: 2020)
Humboldt-Universität zu Berlin, Germany
Topic: Hybrid Differential Software Testing
Advisor: Prof. Lars Grunske
[slides]

Master of Science (M.Sc.), Software Engineering

2013 - 2016
University of Stuttgart, Germany
Thesis Title: Model Counting of String Constraints for Probabilistic Symbolic Execution
Advisor: Dr. Antonio Filieri

Bachelor of Science (B.Sc.), Software Engineering

2010 - 2013
University of Stuttgart, Germany
Thesis Title: Graphical User Interface for the Analysis of Dependency Graphs
Advisor: Dr. Ivan Bogicevic

Resume


Please contact me for my full resume/CV.