Semantics of Software Systems

Project Information

S3

Grant agreement ID: 101093186

DOI

10.3030/101093186

EC signature date 22 August 2023

Start date 1 September 2023

End date 31 August 2028

Funded under

• European Research Council (ERC)

Total cost

€ 2 500 000,00

EU contribution

€ 2 500 000,00

Coordinated by

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (9)

Learning the Effects of Software Changes

Author(s): Laura Plein
Published in: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Publisher: ACM
DOI: 10.1145/3650212.3685550

The Fault in our Stats

Author(s): Alexi Turcotte, Neev Nirav Mehta
Published in: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025
Publisher: IEEE
DOI: 10.1109/ASE63991.2025.00205

FANDANGO: Evolving Language-Based Testing

Author(s): José Antonio Zamudio Amaya; Marius Smytzek; Andreas Zeller
Published in: Proceedings of the ACM on Software Engineering, 2025
Publisher: ACM
DOI: 10.60882/CISPA.28769252.V6

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

Author(s): Stephan Neuhaus; José Antonio Zamudio Amaya; Andreas Zeller
Published in: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025
Publisher: ACM
DOI: 10.60882/CISPA.29457119

BASHIRI: Learning Failure Oracles from Execution Features

Author(s): Marius Smytzek, Martin Eberlein, Tural Mammadov, Lars Grunske, Andreas Zeller
Published in: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025
Publisher: IEEE
DOI: 10.1109/ASE63991.2025.00372

Shaping Test Inputs in Grammar-Based Fuzzing

Author(s): José Antonio Zamudio Amaya
Published in: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Publisher: ACM
DOI: 10.1145/3650212.3685553

jAST: Analyzing and Modifying Java ASTs with Python

Author(s): Marius Smytzek; Martin Eberlein; Lars Grunske; Andreas Zeller
Published in: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025
Publisher: ACM
DOI: 10.1145/3696630.3728598

A Generalized Approach for Solving Web Form Constraints

Author(s): Björn Karthein; Cristian-Alexandru Staicu; Andreas Zeller
Published in: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Publisher: ACM
DOI: 10.60882/CISPA.27878622

Expressing and Checking Statistical Assumptions

Author(s): Alexi Turcotte, Zheyuan Wu
Published in: Proceedings of the ACM on Software Engineering, Issue 2, 2025, ISSN 2994-970X
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3729391

Peer reviewed articles (5)

Learning Program Behavioral Models from Synthesized Input-Output Pairs

Author(s): Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Published in: ACM Transactions on Software Engineering and Methodology, 2024, ISSN 1049-331X
Publisher: Association for Computing Machinary, Inc.
DOI: 10.48550/ARXIV.2407.08597

Language-Based Software Testing

Author(s): Dominic Steinhöfel, Andreas Zeller
Published in: Communications of the ACM, Issue 67, 2024, ISSN 0001-0782
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3631520

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

Author(s): Marius Smytzek, Martin Eberlein, Lars Grunske, Andreas Zeller
Published in: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3783989

Inferring Input Grammars from Code with Symbolic Parsing

Author(s): Leon Bettscheider, Andreas Zeller
Published in: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3776743

Learning Program Behavioral Models from Synthesized Input–Output Pairs

Author(s): Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Published in: ACM Transactions on Software Engineering and Methodology, Issue 35, 2026, ISSN 1049-331X
Publisher: Association for Computing Machinery (ACM)
DOI: 10.60882/CISPA.29597828