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 (2)

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

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

Peer reviewed articles (1)

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