Semantics of Software Systems

Informacje na temat projektu

S3

Identyfikator umowy o grant: 101093186

DOI

10.3030/101093186

Data podpisania przez KE 22 Sierpnia 2023

Data rozpoczęcia 1 Września 2023

Data zakończenia 31 Sierpnia 2028

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 2 500 000,00

Wkład UE

€ 2 500 000,00

Koordynowany przez

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (9)

Learning the Effects of Software Changes

Autorzy: Laura Plein
Opublikowane w: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Wydawca: ACM
DOI: 10.1145/3650212.3685550

The Fault in our Stats

Autorzy: Alexi Turcotte, Neev Nirav Mehta
Opublikowane w: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025
Wydawca: IEEE
DOI: 10.1109/ASE63991.2025.00205

FANDANGO: Evolving Language-Based Testing

Autorzy: José Antonio Zamudio Amaya; Marius Smytzek; Andreas Zeller
Opublikowane w: Proceedings of the ACM on Software Engineering, 2025
Wydawca: ACM
DOI: 10.60882/CISPA.28769252.V6

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

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

BASHIRI: Learning Failure Oracles from Execution Features

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

Shaping Test Inputs in Grammar-Based Fuzzing

Autorzy: José Antonio Zamudio Amaya
Opublikowane w: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Wydawca: ACM
DOI: 10.1145/3650212.3685553

jAST: Analyzing and Modifying Java ASTs with Python

Autorzy: Marius Smytzek; Martin Eberlein; Lars Grunske; Andreas Zeller
Opublikowane w: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025
Wydawca: ACM
DOI: 10.1145/3696630.3728598

A Generalized Approach for Solving Web Form Constraints

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

Expressing and Checking Statistical Assumptions

Autorzy: Alexi Turcotte, Zheyuan Wu
Opublikowane w: Proceedings of the ACM on Software Engineering, Numer 2, 2025, ISSN 2994-970X
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3729391

Peer reviewed articles (5)

Learning Program Behavioral Models from Synthesized Input-Output Pairs

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

Language-Based Software Testing

Autorzy: Dominic Steinhöfel, Andreas Zeller
Opublikowane w: Communications of the ACM, Numer 67, 2024, ISSN 0001-0782
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3631520

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

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

Inferring Input Grammars from Code with Symbolic Parsing

Autorzy: Leon Bettscheider, Andreas Zeller
Opublikowane w: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3776743

Learning Program Behavioral Models from Synthesized Input–Output Pairs

Autorzy: Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Opublikowane w: ACM Transactions on Software Engineering and Methodology, Numer 35, 2026, ISSN 1049-331X
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.60882/CISPA.29597828