Teses - INESC TEC

Teses
supervisionadas

Teses supervisionadas por João Bispo

Mutation Operators for Android Apps

Autor Ana Rita Cheio da Veiga

Grau MSc

Ano 2023

CORAL: a Rust-like Borrow Checker for C

Autor Tiago Duarte da Silva

Grau MSc

Ano 2023

Mutation Testing Cost Reduction Techniques for Java Applications

Autor David Roberto Cravo da Mata

Grau MSc

Ano 2023

Mutation Testing Cost Reduction Techniques for Java Applications

Autor David Roberto Cravo da Mata

Grau MSc

Ano 2023

A Holistic Approach for Partitioning and Optimizing Software Applications on FPGAs

Autor Tiago Lascasas dos Santos

Grau MSc

Ano 2023

An MLIR-Compatible DSL and IR for Structural Representation

Autor Manuel de Magalhães Carvalho Cerqueira da Silva

Grau MSc

Ano 2023

Exploring Metadata in Neural Networks for UAV Maritime Surveillance

Autor Diogo Samuel Gonçalves Fernandes

Grau MSc

Ano 2023

Generating Hardware Modules via Binary Translation of RISC-V Binaries

Autor João Miguel Curado Conceição

Grau MSc

Ano 2022

Multi-Language Detection of Design Pattern Instances

Autor Hugo Miguel Felgueira de Andrade

Grau MSc

Ano 2022

Automatic C/C++ Source-Code Analysis and Normalization

Autor João Nuno Carvalho de Matos

Grau MSc

Ano 2022

Mutation Testing Effectiveness - An Empirical Analysis on Java Mutation Testing Tools

Autor Luís Carlos de Sousa Pinto

Grau MSc

Ano 2022

Programming FPGAs Using Task-Graphs and C code

Autor Luís Miguel Jardim Noites

Grau MSc

Ano 2022