Semantics of Software Systems

Projektinformationen

S3

ID Finanzhilfevereinbarung: 101093186

DOI

10.3030/101093186

EK-Unterschriftsdatum 22 August 2023

Startdatum 1 September 2023

Enddatum 31 August 2028

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 2 500 000,00

EU-Beitrag

€ 2 500 000,00

Koordiniert durch

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (2)

Learning the Effects of Software Changes

Autoren: Laura Plein
Veröffentlicht in: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Herausgeber: ACM
DOI: 10.1145/3650212.3685550

Shaping Test Inputs in Grammar-Based Fuzzing

Autoren: José Antonio Zamudio Amaya
Veröffentlicht in: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Herausgeber: ACM
DOI: 10.1145/3650212.3685553

Peer reviewed articles (1)

Language-Based Software Testing

Autoren: Dominic Steinhöfel, Andreas Zeller
Veröffentlicht in: Communications of the ACM, Ausgabe 67, 2024, ISSN 0001-0782
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3631520