Software validation and test automation | Current Project

This project is an R&D cooperation with Motorola Mobility.

The project includes the following main goals: developing innovative strategies for automating functional testing, and generating test cases from natural language specifications. The research challenges involve a wide range of areas such as test prioritisation, test generation, test automation, natural language processing, image processing, audio processing, data analytics, among others.
Gustavo Carvalho
Gustavo Carvalho
Lecturer @ CIn-UFPE (BR)

My research interests include formal specification/verification, and tools development.