Get started
Author

Gustavo Carvalho

Observed names: Carvalho, Gustavo, G. Carvalho, Gustavo, Carvalho
ORCID: 0000-0002-3700-9709
Observed ORCID: 0000-0002-3700-9709
OpenAlex ID: A5070089969
NAT2TESTSCR : Test case generation from natural language requirements based on SCR specifications
2014 · Gustavo Carvalho, Diogo Falcão, et al. · Science of Computer Programming · 51
RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
2020 · Ana Cavalcanti, Will Barnett, et al. · Springer eBooks · 36
Test case generation from natural language requirements based on SCR specifications
2013 · Gustavo Carvalho, Diogo Falcão, et al. · ACM Symposium on Applied Computing · 33
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
2015 · Gustavo Carvalho, Flávia Barros, et al. · Lecture notes in computer science · 29
Model-Based Testing from Controlled Natural Language Requirements
2014 · Gustavo Carvalho, Flávia Barros, et al. · Communications in computer and information science · 29
Modelling timed reactive systems from natural-language requirements
2016 · Gustavo Carvalho, Ana Cavalcanti, et al. · Formal Aspects of Computing · 19
PDF
Sound conformance testing for cyber-physical systems: Theory and implementation
2017 · Hugo Araujo, Gustavo Carvalho, et al. · Science of Computer Programming · 18
PDF
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
2014 · Gustavo Carvalho, Ana Carvalho, et al. · Lecture notes in computer science · 13
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
2013 · Gustavo Carvalho, Augusto Sampaio, et al. · Lecture notes in computer science · 12
Multi-objective Search for Effective Testing of Cyber-Physical Systems
2019 · Hugo Araujo, Gustavo Carvalho, et al. · Lecture notes in computer science · 11
A Systematic Mapping Study on Robotic Testing of Mobile Devices
2022 · Lucas Maciel, Alice Oliveira, et al. · Euromicro Conference on Software Engineering and Advanced Applications (SEAA) · 10
RoboWorld: Where Can My Robot Work?
2021 · Ana Cavalcanti, James Baxter, et al. · Lecture notes in computer science · 10
CPN simulation-based test case generation from controlled natural-language requirements
2019 · Bruno Cesar F. Silva, Gustavo Carvalho, et al. · Science of Computer Programming · 9
RoboWorld: Verification of Robotic Systems with Environment in the Loop
2023 · James Baxter, Gustavo Carvalho, et al. · Formal Aspects of Computing · 8
PDF
Formal Modelling of Environment Restrictions from Natural-Language Requirements
2018 · Tainã Santos, Gustavo Carvalho, et al. · Lecture notes in computer science · 8
FDR: From Theory to Industrial Application
2016 · Thomas Gibson-Robinson, Guy Broadfoot, et al. · Lecture notes in computer science · 8
Refinement operators to facilitate the reuse of interaction laws in open multi-agent systems
2006 · Gustavo Carvalho, Carlos Lucena, et al. · 8
Test Case Generation from Natural Language Requirements Using CPN Simulation
2016 · Bruno Cesar F. Silva, Gustavo Carvalho, et al. · Lecture notes in computer science · 7
An Analytical and Experimental Comparison of CSP Extensions and Tools
2012 · Ling Shi, Yang Liu, et al. · Lecture notes in computer science · 7
Supporting prenatal care in the public healthcare system in a newly industrialized country
2010 · Ingrid Nunes, Ricardo Choren, et al. · 7
Model Checking Requirements
2016 · Sérgio Barza, Gustavo Carvalho, et al. · Lecture notes in computer science · 6
Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems
2007 · Rodrigo Paes, Gustavo Carvalho, et al. · Springer eBooks · 6
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
2020 · Gustavo Carvalho, Igor Meira · Science of Computer Programming · 4
PDF
An event-driven high level model for the specification of laws in open multi-agent systems
2008 · Rodrigo Paes, Carlos Lucena, et al. · Journal of Systems and Software · 4
A Process for Sound Conformance Testing of Cyber-Physical Systems
2017 · Hugo Araujo, Gustavo Carvalho, et al. · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 3
Works count: 47
Citation count: 368
H-index: 10
I10-index: 12
Year
Topic
Type