| NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications G Carvalho, D Falcao, F Barros, A Sampaio, A Mota, L Motta, M Blackburn Science of Computer Programming 95, 275-297, 2014 | 46 | 2014 |
| 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 | 31 | 2013 |
| 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 | 25 | 2015 |
| 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 | 25 | 2013 |
| 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 | 16 | 2013 |
| 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 | 15 | 2018 |
| 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 | 12 | 2014 |
| Modelling timed reactive systems from natural-language requirements G Carvalho, A Cavalcanti, A Sampaio Formal Aspects of Computing 28 (5), 725-765, 2016 | 11 | 2016 |
| FDR: from theory to industrial application T Gibson-Robinson, G Broadfoot, G Carvalho, P Hopcroft, G Lowe, ... Concurrency, Security, and Puzzles, 65-87, 2017 | 8 | 2017 |
| 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 | 7 | 2012 |
| 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 | 5 | 2019 |
| NAT2TEST: generating test cases from natural language requirements based on CSP GHP CARVALHO Universidade Federal de Pernambuco, 2016 | 5 | 2016 |
| Formal modelling of environment restrictions from natural-language requirements T Santos, G Carvalho, A Sampaio Brazilian Symposium on Formal Methods, 252-270, 2018 | 4 | 2018 |
| Model checking requirements S Barza, G Carvalho, J Iyoda, A Sampaio, A Mota, F Barros Brazilian Symposium on Formal Methods, 217-234, 2016 | 4 | 2016 |
| 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 | 4 | 2009 |
| 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 | 3 | 2019 |
| 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 | 3 | 2017 |
| 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 | 3 | 2017 |
| Test case generation from natural language requirements using cpn simulation BCF Silva, G Carvalho, A Sampaio Brazilian Symposium on Formal Methods, 178-193, 2015 | 3 | 2015 |
| Analytical comparison of refinement checkers GHP Carvalho, T Dias, A Mota, A Sampaio 14th Brazilian Symposium on Formal Methods: Short Papers, 61, 2011 | 3 | 2011 |
Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoBestätigte E-Mail-Adresse bei cin.ufpe.br
