Arnaldo Vieira Moura | DeepAI

DeepAI

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

Featured Co-authors

Adilson Luiz Bonifacio
6 publications

research

∙ 07/23/2021

Testing Pushdown Systems

Testing on reactive systems is a well-known laborious activity on softwa...

0 Adilson Luiz Bonifacio, et al. ∙

research

∙ 02/07/2019

Complete Test Suites for Input/Output Systems

Model based testing is a well-established approach to verify I/O labeled...

0 Adilson Luiz Bonifacio, et al. ∙