Till Schallau

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Lessons Learned

Symbolic Execution

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar
Tree-Based Scenario Classification - A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems. NFM (2024)
Till Schallau, Dominik Mäckel, Stefan Naujokat, Falk Howar
STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems. EDCC Workshops (2024)
Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar
Tree-Based Scenario Classification: A Formal Framework for Coverage Analysis on Test Drives of Autonomous Vehicles. CoRR (2023)
Till Schallau, Stefan Naujokat
Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022)
Malte Mauritz, Stefan Naujokat, Christian Riest, Till Schallau
Aligning the learning experience in a project-based course: lessons learned from the redesign of a programming lab. SEENG@ICSE (2022)
Malte Mues, Till Schallau, Falk Howar
Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs. Software Engineering (2021)
Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education. SEENG@ICSE (2021)
Malte Mues, Till Schallau, Falk Howar
Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. IFM (2020)