Follow
Gustavo Carvalho
Title
Cited by
Cited by
Year
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications
G Carvalho, D Falcăo, F Barros, A Sampaio, A Mota, L Motta, M Blackburn
Science of Computer Programming 95, 275-297, 2014
682014
Model-based testing from controlled natural language requirements
G Carvalho, F Barros, F Lapschies, U Schulze, J Peleska
Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014
392014
NAT2TEST tool: From natural language requirements to test cases based on CSP
G Carvalho, F Barros, A Carvalho, A Cavalcanti, A Mota, A Sampaio
Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015
332015
Test case generation from natural language requirements based on SCR specifications
G Carvalho, D Falcăo, F Barros, A Sampaio, A Mota, L Motta, M Blackburn
Proceedings of the 28th annual ACM symposium on applied computing, 1217-1222, 2013
322013
Sound conformance testing for cyber-physical systems: Theory and implementation
H Araujo, G Carvalho, M Mohaqeqi, MR Mousavi, A Sampaio
Science of Computer Programming 162, 35-54, 2018
242018
RoboStar technology: a roboticist’s toolbox for combined proof, simulation, and testing
A Cavalcanti, W Barnett, J Baxter, G Carvalho, MC Filho, A Miyazawa, ...
Software Engineering for Robotics, 249-293, 2021
182021
A CSP timed input-output relation and a strategy for mechanised conformance verification
G Carvalho, A Sampaio, A Mota
Formal Methods and Software Engineering: 15th International Conference on …, 2013
182013
Modelling timed reactive systems from natural-language requirements
G Carvalho, A Cavalcanti, A Sampaio
Formal Aspects of Computing 28, 725-765, 2016
152016
CPN simulation-based test case generation from controlled natural-language requirements
BCF Silva, G Carvalho, A Sampaio
Science of Computer Programming 181, 111-139, 2019
122019
A formal model for natural-language timed requirements of reactive systems
G Carvalho, A Carvalho, E Rocha, A Cavalcanti, A Sampaio
Formal Methods and Software Engineering: 16th International Conference on …, 2014
122014
Multi-objective search for effective testing of cyber-physical systems
H Araujo, G Carvalho, MR Mousavi, A Sampaio
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
112019
RoboWorld: Where can my robot work?
A Cavalcanti, J Baxter, G Carvalho
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
102021
Formal modelling of environment restrictions from natural-language requirements
T Santos, G Carvalho, A Sampaio
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018
102018
An analytical and experimental comparison of CSP extensions and tools
L Shi, Y Liu, J Sun, JS Dong, G Carvalho
Formal Methods and Software Engineering: 14th International Conference on …, 2012
102012
FDR: from theory to industrial application
T Gibson-Robinson, G Broadfoot, G Carvalho, P Hopcroft, G Lowe, ...
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William …, 2017
92017
Test case generation from natural language requirements using cpn simulation
BCF Silva, G Carvalho, A Sampaio
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF …, 2016
82016
NAT2TEST: generating test cases from natural language requirements based on CSP
GHP CARVALHO
Universidade Federal de Pernambuco, 2016
72016
Model checking requirements
S Barza, G Carvalho, J Iyoda, A Sampaio, A Mota, F Barros
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF …, 2016
62016
Um processo de recomendaçăo de modelos de maturidade em gerenciamento de projetos
G Carvalho, A Vasconcelos, F Silva
Proceedings do IV Simpósio Brasileiro de Gerenciamento de Projetos. Ouro …, 2009
52009
A process for sound conformance testing of cyber-physical systems
H Araujo, G Carvalho, A Sampaio, MR Mousavi, M Taromirad
2017 IEEE International Conference on Software Testing, Verification and …, 2017
42017
The system can't perform the operation now. Try again later.
Articles 1–20