| Test generation from state based use case models S Nogueira, A Sampaio, A Mota Formal Aspects of Computing 26, 441-490, 2014 | 63 | 2014 |
| Guided test generation from CSP models S Nogueira, A Sampaio, A Mota Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008 | 51 | 2008 |
| Model based test generation: An industrial experience S Nogueira, E Cartaxo, D Torres, E Aranha, R Marques 1st Brazilian Workshop on Systematic and Automated Software Testing, 2007 | 39 | 2007 |
| A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP L Lima, A Tavares, SC Nogueira Science of Computer Programming 197, 102497, 2020 | 24 | 2020 |
| Compositional verification of input-output conformance via csp refinement checking A Sampaio, S Nogueira, A Mota Formal Methods and Software Engineering: 11th International Conference on …, 2009 | 23 | 2009 |
| Test case generation, selection and coverage from natural language S Nogueira, H Araujo, R Araujo, J Iyoda, A Sampaio Science of Computer Programming 181, 84-110, 2019 | 13 | 2019 |
| Sound and mechanised compositional verification of input‐output conformance A Sampaio, S Nogueira, A Mota, Y Isobe Software Testing, Verification and Reliability 24 (4), 289-319, 2014 | 13 | 2014 |
| Model based test generation: A case study S Nogueira, E Cartaxo, D Torres, E Aranha, R Marques Workshop on Systematic and Automated Software Testing. Workshop on …, 2007 | 12 | 2007 |
| Testing acoustic scene classifiers using Metamorphic Relations D Moreira, AP Furtado, S Nogueira 2020 IEEE International Conference On Artificial Intelligence Testing …, 2020 | 11 | 2020 |
| Inputs and outputs in CSP: a model and a testing theory A Cavalcanti, RM Hierons, S Nogueira ACM Transactions on Computational Logic (TOCL) 21 (3), 1-53, 2020 | 11 | 2020 |
| 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 | 9 | 2017 |
| A suspension-trace semantics for CSP A Cavalcanti, RM Hierons, S Nogueira, A Sampaio 2016 10th International Symposium on Theoretical Aspects of Software …, 2016 | 8 | 2016 |
| OggyBug: A test automation tool in chatbots MB Santos, APCC Furtado, SC Nogueira, DD Moreira Proceedings of the 5th Brazilian Symposium on Systematic and Automated …, 2020 | 6 | 2020 |
| Guided csp test case generation guided by purposes SC Nogueira Master’s thesis, Federal University of Pernambuco, 2006 | 6 | 2006 |
| Automatic generation of test cases and test purposes from natural language S Nogueira, HLS Araujo, RBS Araujo, J Iyoda, A Sampaio Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF …, 2016 | 5 | 2016 |
| Geracao automática de casos de teste CSP dirigida por propósitos S Nogueira Master's thesis, Universidade Federal de Pernambuco (UFPE), 2006 | 5 | 2006 |
| Visual specification of properties for robotic designs W Lindoso, SC Nogueira, R Domingues, L Lima Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF …, 2021 | 4 | 2021 |
| Geração automática de casos de teste csp orientada por propósitos S de Carvalho Nogueira Universidade Federal de Pernambuco, 2006 | 3 | 2006 |
| Analyzing cleaning robots using probabilistic model checking R Araújo, A Mota, S Nogueira Theory and Application of Reuse, Integration, and Data Science, 23-51, 2019 | 2 | 2019 |
| Automatic test case generation for concurrent features from natural language descriptions R Almeida, S Nogueira, A Sampaio Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018 | 2 | 2018 |
