Sidney Nogueira

Sidney Nogueira

Universidade Federal Rural de Pernambuco UFRPE - Recife / Brazil
Engineering & Technology / Computer Science
AD Scientific Index ID: 4729635
Federal Rural University of Pernambuco
person_outline Sidney Nogueira's MOST POPULAR ARTICLES
1-) Test generation from state based use case models Formal Aspects of Computing 26, 441-490, 2014
2-) Guided test generation from CSP models Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
3-) Model based test generation: An industrial experience 1st Brazilian Workshop on Systematic and Automated Software Testing, 2007
4-) A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP Science of Computer Programming 197, 102497, 2020
5-) Compositional verification of input-output conformance via csp refinement checking International Conference on Formal Engineering Methods, 20-48, 2009