José Fragoso Santos | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Mikoláš Janota
14 publications
Philippa Gardner
7 publications
Pedro Lopes
4 publications
Antonio Morgado
4 publications
Nuno Santos
4 publications
Petar Maksimović
4 publications
Filipe Marques
3 publications
Sacha-Élie Ayoun
3 publications
Tiago Brito
1 publication

research

∙ 07/19/2022

TestSelector: Automatic Test Suite Selection for Student Projects – Extended Version

Computer Science course instructors routinely have to create comprehensi...

0 Filipe Marques, et al. ∙

research

∙ 04/26/2022

Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly

WebAssembly is a new binary instruction format that allows targeted comp...

0 Tiago Brito, et al. ∙

research

∙ 05/31/2021

Gillian: A Multi-Language Platform for Unified Symbolic Analysis

This is an evolving document describing the meta-theory, the implementat...

0 Petar Maksimović, et al. ∙

research

∙ 01/14/2020

Gillian: Compositional Symbolic Execution for All

We present Gillian, a language-independent framework for the development...

0 José Fragoso Santos, et al. ∙