Semantics of Software Systems

Información del proyecto

S3

Identificador del acuerdo de subvención: 101093186

DOI

10.3030/101093186

Fecha de la firma de la CE 22 Agosto 2023

Fecha de inicio 1 Septiembre 2023

Fecha de finalización 31 Agosto 2028

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 2 500 000,00

Aportación de la UE

€ 2 500 000,00

Coordinado por

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (2)

Learning the Effects of Software Changes

Autores: Laura Plein
Publicado en: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Editor: ACM
DOI: 10.1145/3650212.3685550

Shaping Test Inputs in Grammar-Based Fuzzing

Autores: José Antonio Zamudio Amaya
Publicado en: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Editor: ACM
DOI: 10.1145/3650212.3685553

Peer reviewed articles (1)

Language-Based Software Testing

Autores: Dominic Steinhöfel, Andreas Zeller
Publicado en: Communications of the ACM, Edición 67, 2024, ISSN 0001-0782
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3631520