Steven de Oliveira | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Nikolai Kosmatov
11 publications
Virgile Prevosto
8 publications
Saddek Bensalem
7 publications
Nicolas Berthier
4 publications
Peter Habermehl
3 publications
Romain Soulat
3 publications
Delphine Longuet
1 publication

research

∙ 11/26/2022

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee

Dynamic symbolic execution (DSE) is a powerful test generation approach ...

0 Nicolas Berthier, et al. ∙

research

∙ 03/26/2018

Left-eigenvectors are certificates of the Orbit Problem

This paper investigates the connexion between the Kannan-Lipton Orbit Pr...

0 Steven de Oliveira, et al. ∙