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
462014
Model-based testing from controlled natural language requirements
G Carvalho, F Barros, F Lapschies, U Schulze, J Peleska
International Workshop on Formal Techniques for Safety-Critical Systems, 19-35, 2013
292013
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
252013
NAT2TEST tool: From natural language requirements to test cases based on CSP
G Carvalho, F Barros, A Carvalho, A Cavalcanti, A Mota, A Sampaio
SEFM 2015 Collocated Workshops, 283-290, 2015
232015
A CSP timed input-output relation and a strategy for mechanised conformance verification
G Carvalho, A Sampaio, A Mota
International Conference on Formal Engineering Methods, 148-164, 2013
162013
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
142018
A formal model for natural-language timed requirements of reactive systems
G Carvalho, A Carvalho, E Rocha, A Cavalcanti, A Sampaio
International conference on formal engineering methods, 43-58, 2014
122014
Modelling timed reactive systems from natural-language requirements
G Carvalho, A Cavalcanti, A Sampaio
Formal Aspects of Computing 28 (5), 725-765, 2016
112016
An analytical and experimental comparison of CSP extensions and tools
L Shi, Y Liu, J Sun, JS Dong, G Carvalho
International Conference on Formal Engineering Methods, 381-397, 2012
72012
FDR: from theory to industrial application
T Gibson-Robinson, G Broadfoot, G Carvalho, P Hopcroft, G Lowe, ...
Concurrency, Security, and Puzzles, 65-87, 2017
62017
NAT2TEST: generating test cases from natural language requirements based on CSP
GHP CARVALHO
Universidade Federal de Pernambuco, 2016
52016
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
42019
Formal Modelling of Environment Restrictions from Natural-Language Requirements
T Santos, G Carvalho, A Sampaio
Brazilian Symposium on Formal Methods, 252-270, 2018
42018
Model Checking Requirements
S Barza, G Carvalho, J Iyoda, A Sampaio, A Mota, F Barros
Brazilian Symposium on Formal Methods, 217-234, 2016
42016
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
42009
Multi-objective search for effective testing of cyber-physical systems
H Araujo, G Carvalho, MR Mousavi, A Sampaio
International Conference on Software Engineering and Formal Methods, 183-202, 2019
32019
Simulation of hybrid systems from natural-language requirements
B Oliveira, G Carvalho, MR Mousavi, A Sampaio
2017 13th IEEE Conference on Automation Science and Engineering (CASE), 1320 …, 2017
32017
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
32017
Test case generation from natural language requirements using cpn simulation
BCF Silva, G Carvalho, A Sampaio
Brazilian Symposium on Formal Methods, 178-193, 2015
32015
Analytical comparison of refinement checkers
GHP Carvalho, T Dias, A Mota, A Sampaio
14th Brazilian Symposium on Formal Methods: Short Papers, 61, 2011
32011
The system can't perform the operation now. Try again later.
Articles 1–20