Sidney C. Nogueira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2019
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ESEM | Initial findings on the evaluation of a model-based testing tool in the test design process. | Larissa Ferreira, Sidney C. Nogueira, Lucas Lima, Liliane Fonseca, Waldemar Ferreira |
| 2016 | TASE | A Suspension-Trace Semantics for CSP. | Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio |
| 2009 | ICFEM | Compositional Verification of Input-Output Conformance via CSP Refinement Checking. | Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota |
| 2008 | ICTAC | Guided Test Generation from CSP Models. | Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota |