Gustavo Carvalho

Publications

Citations

H-Index

2013

Active since

Affiliations

Universidade Federal de Pernambuco(Current)

Gustavo Carvalho is an author at Universidade Federal de Pernambuco specializing in language testing, computational linguistics, and computer engineering.

ORCID

Top concepts

LanguageEngineeringLinguisticsFormal MethodsSoftware DesignTest AutomationTest GenerationComputer ScienceLanguage TestingProgram Analysis

Publications per year

2013–2022

Publications

Test case generation from natural language requirements based on SCR specifications

Gustavo Carvalho, Diogo Falcão, Flávia Barros et al. · 2013 · 29 citations

Engineering, Test Data Generation, Software Engineering +27

Modelling timed reactive systems from natural-language requirements

Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio · Formal Aspects of Computing · 2016 · 18 citations

Sound conformance testing for cyber-physical systems: Theory and implementation

Hugo Araujo, Gustavo Carvalho, Morteza Mohaqeqi et al. · Science of Computer Programming · 2017 · 17 citations · Full text

A Systematic Mapping Study on Robotic Testing of Mobile Devices

Lucas D. Maciel, Alice Oliveira, Riei Rodrigues et al. · 2022 · 10 citations

Rows per page

1–4 of 4