Sidney C. Nogueira

According to our database, Sidney C. Nogueira authored at least 18 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Sound Test Case Generation for Concurrent Mobile Features.

Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

2021

Visual Specification of Properties for Robotic Designs.

Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

2020

Inputs and Outputs in CSP: A Model and a Testing Theory.

Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira

ACM Trans. Comput. Log., 2020

A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.

Lucas Lima, Amaury Tavares, Sidney C. Nogueira

Sci. Comput. Program., 2020

OggyBug: A Test Automation Tool in Chatbots.

Márcio Braga dos Santos, Ana Paula Carvalho Cavalcanti Furtado, Sidney C. Nogueira, Diogo Dantas Moreira

Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020

Testing acoustic scene classifiers using Metamorphic Relations.

Diogo Moreira, Ana Paula Furtado, Sidney C. Nogueira

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Test case generation, selection and coverage from natural language.

Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio

Sci. Comput. Program., 2019

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

Proceedings of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2019

2018

Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions.

Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2017

Probabilistic Analysis Applied to Cleaning Robots.

Rafael Pereira de Araujo, Alexandre Cabral Mota, Sidney de Carvalho Nogueira

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

FDR: From Theory to Industrial Application.

Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio

Proceedings of the Concurrency, Security, and Puzzles, 2017

2016

A Suspension-Trace Semantics for CSP.

Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

An Approach for Verifying Educational Robots.

Sidney C. Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2015

Automatic Generation of Test Cases and Test Purposes from Natural Language.

Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

2014

Sound and mechanised compositional verification of input-output conformance.

Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe

Softw. Test. Verification Reliab., 2014

Test generation from state based use case models.

Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota

Formal Aspects Comput., 2014

2009

Compositional Verification of Input-Output Conformance via CSP Refinement Checking.

Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Guided Test Generation from CSP Models.

Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota

Proceedings of the Theoretical Aspects of Computing, 2008