Semantics of Software Systems

Informations projet

S3

N° de convention de subvention: 101093186

DOI

10.3030/101093186

Date de signature de la CE 22 Août 2023

Date de début 1 Septembre 2023

Date de fin 31 Août 2028

Financé au titre de

• European Research Council (ERC)

Coût total

€ 2 500 000,00

Contribution de l’UE

€ 2 500 000,00

Coordonné par

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (2)

Learning the Effects of Software Changes

Auteurs: Laura Plein
Publié dans: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Éditeur: ACM
DOI: 10.1145/3650212.3685550

Shaping Test Inputs in Grammar-Based Fuzzing

Auteurs: José Antonio Zamudio Amaya
Publié dans: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Éditeur: ACM
DOI: 10.1145/3650212.3685553

Peer reviewed articles (1)

Language-Based Software Testing

Auteurs: Dominic Steinhöfel, Andreas Zeller
Publié dans: Communications of the ACM, Numéro 67, 2024, ISSN 0001-0782
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3631520