About
Frederico Cerveira is an Assistant Professor at the Department of Informatics Engineering of the University of Coimbra. His research areas are Dependability and Software Engineering. He is an integrated member of the Centre for Informatics and Systems of the University of Coimbra (CISUC), within the Software and Systems Engineering (SSE) research group. Frederico has extensive teaching experience at both undergraduate and graduate levels, lecturing courses such as Compilers, Operating Systems, Distributed Systems and Software Quality and Dependability.
Research Interests
- Generative AI on Software Engineering
- Dependability
- Virtualization and Cloud Computing
- Fault injection and fault tolerance
- Software Testing
Selected Publications
- F. Cerveira, A. Howcroft Ferreira, R. Barbosa. Resilient Virtualization. IEEE Computer, 2023.
- J. Becho, F. Cerveira, J. Leitão, R. André Oliveira. TESRAC: A Framework for Test Suite Reduction Assessment at Scale. ICST, 2022.
- F. Cerveira, R. Barbosa, H. Madeira. Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor. IEEE Access, 2021.
- F. Cerveira, R. Barbosa, H. Madeira. The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers. IEEE Transactions on Cloud Computing, 2020.
Supervision
Ongoing
- Guilherme Junqueira - Resilient Software for Low-Earth Orbit Satellites
- João Paiva - Evaluation of test suite generation using AI
- Tomás Taveres - The software bugs of AI-assisted coding
- Francisco Rosendo - Repurposing generative AI for mutation testing and software fault
- Marco Lucas - Evaluation of a software platform for future-generation automotive vehicles
- Benjamim Moreira - Evaluation of AI-generated verification-aware code
Past
- Eliseu Domingos - Predicting computer failures from images
- Gonçalo Ferreira - Testing automotive hypervisors
- Bernardo Graça - Accelerating fault injection campaigns using failure models
- Pedro Almeida - ucXception fault injection framework
- João Becho - Applying TSR techniques over large test suites
- Rui Teixeira - Evaluation of hypervisors for embedded and real-time sytems
Project participation
- Digital Person
- SATERA
- VALU3S
- ADVANCE
- AAEACR
Teaching
- Software Quality and Dependability
- Operating Systems
- Compilers
- Distributed Systems
- Procedural Programming Principles
- Advanced Programming in Java
Contact
Email: fmduarte@dei.uc.pt
Office: D2.20
Address: Department of Informatics Engineering (DEI), Polo 2, Coimbra