Semantics of Software Systems

Informations projet

S3

N° de convention de subvention: 101093186

DOI

10.3030/101093186

Date de signature de la CE 22 Août 2023

Date de début 1 Septembre 2023

Date de fin 31 Août 2028

Financé au titre de

• European Research Council (ERC)

Coût total

€ 2 500 000,00

Contribution de l’UE

€ 2 500 000,00

Coordonné par

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (9)

Learning the Effects of Software Changes

Auteurs: Laura Plein
Publié dans: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Éditeur: ACM
DOI: 10.1145/3650212.3685550

The Fault in our Stats

Auteurs: Alexi Turcotte, Neev Nirav Mehta
Publié dans: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025
Éditeur: IEEE
DOI: 10.1109/ASE63991.2025.00205

FANDANGO: Evolving Language-Based Testing

Auteurs: José Antonio Zamudio Amaya; Marius Smytzek; Andreas Zeller
Publié dans: Proceedings of the ACM on Software Engineering, 2025
Éditeur: ACM
DOI: 10.60882/CISPA.28769252.V6

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

Auteurs: Stephan Neuhaus; José Antonio Zamudio Amaya; Andreas Zeller
Publié dans: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025
Éditeur: ACM
DOI: 10.60882/CISPA.29457119

BASHIRI: Learning Failure Oracles from Execution Features

Auteurs: Marius Smytzek, Martin Eberlein, Tural Mammadov, Lars Grunske, Andreas Zeller
Publié dans: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025
Éditeur: IEEE
DOI: 10.1109/ASE63991.2025.00372

Shaping Test Inputs in Grammar-Based Fuzzing

Auteurs: José Antonio Zamudio Amaya
Publié dans: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Éditeur: ACM
DOI: 10.1145/3650212.3685553

jAST: Analyzing and Modifying Java ASTs with Python

Auteurs: Marius Smytzek; Martin Eberlein; Lars Grunske; Andreas Zeller
Publié dans: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025
Éditeur: ACM
DOI: 10.1145/3696630.3728598

A Generalized Approach for Solving Web Form Constraints

Auteurs: Björn Karthein; Cristian-Alexandru Staicu; Andreas Zeller
Publié dans: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Éditeur: ACM
DOI: 10.60882/CISPA.27878622

Expressing and Checking Statistical Assumptions

Auteurs: Alexi Turcotte, Zheyuan Wu
Publié dans: Proceedings of the ACM on Software Engineering, Numéro 2, 2025, ISSN 2994-970X
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3729391

Peer reviewed articles (5)

Learning Program Behavioral Models from Synthesized Input-Output Pairs

Auteurs: Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Publié dans: ACM Transactions on Software Engineering and Methodology, 2024, ISSN 1049-331X
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.48550/ARXIV.2407.08597

Language-Based Software Testing

Auteurs: Dominic Steinhöfel, Andreas Zeller
Publié dans: Communications of the ACM, Numéro 67, 2024, ISSN 0001-0782
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3631520

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

Auteurs: Marius Smytzek, Martin Eberlein, Lars Grunske, Andreas Zeller
Publié dans: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3783989

Inferring Input Grammars from Code with Symbolic Parsing

Auteurs: Leon Bettscheider, Andreas Zeller
Publié dans: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3776743

Learning Program Behavioral Models from Synthesized Input–Output Pairs

Auteurs: Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Publié dans: ACM Transactions on Software Engineering and Methodology, Numéro 35, 2026, ISSN 1049-331X
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.60882/CISPA.29597828