Semantics of Software Systems

Información del proyecto

S3

Identificador del acuerdo de subvención: 101093186

DOI

10.3030/101093186

Fecha de la firma de la CE 22 Agosto 2023

Fecha de inicio 1 Septiembre 2023

Fecha de finalización 31 Agosto 2028

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 2 500 000,00

Aportación de la UE

€ 2 500 000,00

Coordinado por

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (9)

Learning the Effects of Software Changes

Autores: Laura Plein
Publicado en: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Editor: ACM
DOI: 10.1145/3650212.3685550

The Fault in our Stats

Autores: Alexi Turcotte, Neev Nirav Mehta
Publicado en: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025
Editor: IEEE
DOI: 10.1109/ASE63991.2025.00205

FANDANGO: Evolving Language-Based Testing

Autores: José Antonio Zamudio Amaya; Marius Smytzek; Andreas Zeller
Publicado en: Proceedings of the ACM on Software Engineering, 2025
Editor: ACM
DOI: 10.60882/CISPA.28769252.V6

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

Autores: Stephan Neuhaus; José Antonio Zamudio Amaya; Andreas Zeller
Publicado en: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025
Editor: ACM
DOI: 10.60882/CISPA.29457119

BASHIRI: Learning Failure Oracles from Execution Features

Autores: Marius Smytzek, Martin Eberlein, Tural Mammadov, Lars Grunske, Andreas Zeller
Publicado en: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025
Editor: IEEE
DOI: 10.1109/ASE63991.2025.00372

Shaping Test Inputs in Grammar-Based Fuzzing

Autores: José Antonio Zamudio Amaya
Publicado en: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Editor: ACM
DOI: 10.1145/3650212.3685553

jAST: Analyzing and Modifying Java ASTs with Python

Autores: Marius Smytzek; Martin Eberlein; Lars Grunske; Andreas Zeller
Publicado en: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025
Editor: ACM
DOI: 10.1145/3696630.3728598

A Generalized Approach for Solving Web Form Constraints

Autores: Björn Karthein; Cristian-Alexandru Staicu; Andreas Zeller
Publicado en: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Editor: ACM
DOI: 10.60882/CISPA.27878622

Expressing and Checking Statistical Assumptions

Autores: Alexi Turcotte, Zheyuan Wu
Publicado en: Proceedings of the ACM on Software Engineering, Edición 2, 2025, ISSN 2994-970X
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3729391

Peer reviewed articles (5)

Learning Program Behavioral Models from Synthesized Input-Output Pairs

Autores: Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Publicado en: ACM Transactions on Software Engineering and Methodology, 2024, ISSN 1049-331X
Editor: Association for Computing Machinary, Inc.
DOI: 10.48550/ARXIV.2407.08597

Language-Based Software Testing

Autores: Dominic Steinhöfel, Andreas Zeller
Publicado en: Communications of the ACM, Edición 67, 2024, ISSN 0001-0782
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3631520

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

Autores: Marius Smytzek, Martin Eberlein, Lars Grunske, Andreas Zeller
Publicado en: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3783989

Inferring Input Grammars from Code with Symbolic Parsing

Autores: Leon Bettscheider, Andreas Zeller
Publicado en: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3776743

Learning Program Behavioral Models from Synthesized Input–Output Pairs

Autores: Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Publicado en: ACM Transactions on Software Engineering and Methodology, Edición 35, 2026, ISSN 1049-331X
Editor: Association for Computing Machinery (ACM)
DOI: 10.60882/CISPA.29597828