Sidney C. Nogueira

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 14

Top Topics

Natural Language

Testing Process

Test Case Generation

Lego Mindstorms

Top Venues

Sci. Comput. Program.

Publications

Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
Sound Test Case Generation for Concurrent Mobile Features. SBMF (2023)
Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima
Visual Specification of Properties for Robotic Designs. SBMF (2021)
Diogo Moreira, Ana Paula Furtado, Sidney C. Nogueira
Testing acoustic scene classifiers using Metamorphic Relations. AITest (2020)
Lucas Lima, Amaury Tavares, Sidney C. Nogueira
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. Sci. Comput. Program. 197 (2020)
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira
Inputs and Outputs in CSP: A Model and a Testing Theory. ACM Trans. Comput. Log. 21 (3) (2020)
Márcio Braga dos Santos, Ana Paula Carvalho Cavalcanti Furtado, Sidney C. Nogueira, Diogo Dantas Moreira
OggyBug: A Test Automation Tool in Chatbots. SAST (2020)
Lucas Lima, Amaury Tavares, Sidney C. Nogueira
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. CoRR (2019)
Sidney C. Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
Test case generation, selection and coverage from natural language. Sci. Comput. Program. 181 (2019)
Larissa Ferreira, Sidney C. Nogueira, Lucas Lima, Liliane Fonseca, Waldemar Ferreira
Initial findings on the evaluation of a model-based testing tool in the test design process. ESEM (2019)
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. SBMF (2018)
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles (2017)
Sidney C. Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira
An Approach for Verifying Educational Robots. SBMF (2016)
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio
A Suspension-Trace Semantics for CSP. TASE (2016)
Sidney C. Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
Automatic Generation of Test Cases and Test Purposes from Natural Language. SBMF (2015)
Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota
Test generation from state based use case models. Formal Aspects Comput. 26 (3) (2014)
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe
Sound and mechanised compositional verification of input-output conformance. Softw. Test. Verification Reliab. 24 (4) (2014)
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota
Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM (2009)
Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota
Guided Test Generation from CSP Models. ICTAC (2008)