Angelo Gargantini | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Bestoun S. Ahmed
48 publications
Miroslav Bures
35 publications
Étienne André
29 publications
Kamal Z. Zamli
14 publications
Paolo Arcaini
13 publications
Cemal Yilmaz
4 publications
Marek Szeles
1 publication
Marco Radavelli
1 publication

research

∙ 02/02/2020

An Automated Testing Framework For Smart TV apps Based on Model Separation

Smart TV application (app) is a new technological software app that can ...

0 Bestoun S. Ahmed, et al. ∙

research

∙ 07/21/2019

Code-Aware Combinatorial Interaction Testing

Combinatorial interaction testing (CIT) is a useful testing technique to...

0 Bestoun S. Ahmed, et al. ∙

research

∙ 06/27/2019

Repairing Timed Automata Clock Guards through Abstraction and Testing

Timed automata (TAs) are a widely used formalism to specify systems havi...

0 Étienne André, et al. ∙

research

∙ 09/28/2011

Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children

The 3D4Amb project aims at developing a system based on the stereoscopic...

0 Angelo Gargantini, et al. ∙