Semantics of Software Systems

Projektinformationen

S3

ID Finanzhilfevereinbarung: 101093186

DOI

10.3030/101093186

EK-Unterschriftsdatum 22 August 2023

Startdatum 1 September 2023

Enddatum 31 August 2028

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 2 500 000,00

EU-Beitrag

€ 2 500 000,00

Koordiniert durch

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (9)

Learning the Effects of Software Changes

Autoren: Laura Plein
Veröffentlicht in: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Herausgeber: ACM
DOI: 10.1145/3650212.3685550

The Fault in our Stats

Autoren: Alexi Turcotte, Neev Nirav Mehta
Veröffentlicht in: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025
Herausgeber: IEEE
DOI: 10.1109/ASE63991.2025.00205

FANDANGO: Evolving Language-Based Testing

Autoren: José Antonio Zamudio Amaya; Marius Smytzek; Andreas Zeller
Veröffentlicht in: Proceedings of the ACM on Software Engineering, 2025
Herausgeber: ACM
DOI: 10.60882/CISPA.28769252.V6

Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS Module (Short Paper)

Autoren: Stephan Neuhaus; José Antonio Zamudio Amaya; Andreas Zeller
Veröffentlicht in: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025
Herausgeber: ACM
DOI: 10.60882/CISPA.29457119

BASHIRI: Learning Failure Oracles from Execution Features

Autoren: Marius Smytzek, Martin Eberlein, Tural Mammadov, Lars Grunske, Andreas Zeller
Veröffentlicht in: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025
Herausgeber: IEEE
DOI: 10.1109/ASE63991.2025.00372

Shaping Test Inputs in Grammar-Based Fuzzing

Autoren: José Antonio Zamudio Amaya
Veröffentlicht in: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Herausgeber: ACM
DOI: 10.1145/3650212.3685553

jAST: Analyzing and Modifying Java ASTs with Python

Autoren: Marius Smytzek; Martin Eberlein; Lars Grunske; Andreas Zeller
Veröffentlicht in: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025
Herausgeber: ACM
DOI: 10.1145/3696630.3728598

A Generalized Approach for Solving Web Form Constraints

Autoren: Björn Karthein; Cristian-Alexandru Staicu; Andreas Zeller
Veröffentlicht in: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Herausgeber: ACM
DOI: 10.60882/CISPA.27878622

Expressing and Checking Statistical Assumptions

Autoren: Alexi Turcotte, Zheyuan Wu
Veröffentlicht in: Proceedings of the ACM on Software Engineering, Ausgabe 2, 2025, ISSN 2994-970X
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3729391

Peer reviewed articles (5)

Learning Program Behavioral Models from Synthesized Input-Output Pairs

Autoren: Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, 2024, ISSN 1049-331X
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.48550/ARXIV.2407.08597

Language-Based Software Testing

Autoren: Dominic Steinhöfel, Andreas Zeller
Veröffentlicht in: Communications of the ACM, Ausgabe 67, 2024, ISSN 0001-0782
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3631520

How Execution Features Relate to Failures: An Empirical Study and Diagnosis Approach

Autoren: Marius Smytzek, Martin Eberlein, Lars Grunske, Andreas Zeller
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3783989

Inferring Input Grammars from Code with Symbolic Parsing

Autoren: Leon Bettscheider, Andreas Zeller
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3776743

Learning Program Behavioral Models from Synthesized Input–Output Pairs

Autoren: Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, Ausgabe 35, 2026, ISSN 1049-331X
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.60882/CISPA.29597828