Semantics of Software Systems

Informazioni relative al progetto

S3

ID dell’accordo di sovvenzione: 101093186

DOI

10.3030/101093186

Data della firma CE 22 Agosto 2023

Data di avvio 1 Settembre 2023

Data di completamento 31 Agosto 2028

Finanziato da

• European Research Council (ERC)

Costo totale

€ 2 500 000,00

Contributo UE

€ 2 500 000,00

Coordinato da

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (9)

Learning the Effects of Software Changes

Autori: Laura Plein
Pubblicato in: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Editore: ACM
DOI: 10.1145/3650212.3685550

The Fault in our Stats

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

FANDANGO: Evolving Language-Based Testing

Autori: José Antonio Zamudio Amaya; Marius Smytzek; Andreas Zeller
Pubblicato in: Proceedings of the ACM on Software Engineering, 2025
Editore: ACM
DOI: 10.60882/CISPA.28769252.V6

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

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

BASHIRI: Learning Failure Oracles from Execution Features

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

Shaping Test Inputs in Grammar-Based Fuzzing

Autori: José Antonio Zamudio Amaya
Pubblicato in: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Editore: ACM
DOI: 10.1145/3650212.3685553

jAST: Analyzing and Modifying Java ASTs with Python

Autori: Marius Smytzek; Martin Eberlein; Lars Grunske; Andreas Zeller
Pubblicato in: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025
Editore: ACM
DOI: 10.1145/3696630.3728598

A Generalized Approach for Solving Web Form Constraints

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

Expressing and Checking Statistical Assumptions

Autori: Alexi Turcotte, Zheyuan Wu
Pubblicato in: Proceedings of the ACM on Software Engineering, Numero 2, 2025, ISSN 2994-970X
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3729391

Peer reviewed articles (5)

Learning Program Behavioral Models from Synthesized Input-Output Pairs

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

Language-Based Software Testing

Autori: Dominic Steinhöfel, Andreas Zeller
Pubblicato in: Communications of the ACM, Numero 67, 2024, ISSN 0001-0782
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3631520

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

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

Inferring Input Grammars from Code with Symbolic Parsing

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

Learning Program Behavioral Models from Synthesized Input–Output Pairs

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