Test generation from state based use case models S Nogueira, A Sampaio, A Mota Formal Aspects of Computing 26, 441-490, 2014 | 65 | 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 |
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 | 12 | 2020 |
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 |
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 | 7 | 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 |
Evoluçao do Processo de Testes do TCE-PE: resultados preliminares de um projeto de BPM L Lins, L Accioly, S Nogueira, G Valença, AC Machado, A Lira, S Gomes Anais Estendidos do XIX Simpósio Brasileiro de Sistemas de Informação, 120-122, 2023 | 2 | 2023 |
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 |