Guided Test Generation from CSP Models. - Sidney C. Nogueira; Augusto Sampaio 001; Alexandre Mota 001 (ICTAC, 2008)

Compositional Verification of Input-Output Conformance via CSP Refinement Checking. - Augusto Sampaio 001; Sidney C. Nogueira; Alexandre Mota 001 (ICFEM, 2009)

Test generation from state based use case models. - Sidney C. Nogueira; Augusto Sampaio 001; Alexandre Mota 001 (Formal Aspects Comput., 2014)

Sound and mechanised compositional verification of input-output conformance. - Augusto Sampaio 001; Sidney C. Nogueira; Alexandre Mota 001; Yoshinao Isobe (Softw. Test. Verification Reliab., 2014)

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 001 (SBMF, 2015)

An Approach for Verifying Educational Robots. - Sidney C. Nogueira; Taciana Pontual Falcão; Alexandre Mota 001; Emanuel Oliveira; Itamar Moraes; Iverson Pereira (SBMF, 2016)

A Suspension-Trace Semantics for CSP. - Ana Cavalcanti 001; Robert M. Hierons; Sidney C. Nogueira; Augusto Sampaio 001 (TASE, 2016)

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 001 (Concurrency, Security, and Puzzles, 2017)

Probabilistic Analysis Applied to Cleaning Robots. - Rafael Pereira de Araujo; Alexandre Cabral Mota; Sidney de Carvalho Nogueira (IRI, 2017)

Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. - Rafaela Almeida; Sidney C. Nogueira; Augusto Sampaio 001 (SBMF, 2018)

Initial findings on the evaluation of a model-based testing tool in the test design process. - Larissa Ferreira; Sidney C. Nogueira; Lucas Lima 001; Liliane Fonseca; Waldemar Ferreira (ESEM, 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 001 (Sci. Comput. Program., 2019)

Testing acoustic scene classifiers using Metamorphic Relations. - Diogo Moreira; Ana Paula Furtado; Sidney C. Nogueira (AITest, 2020)

OggyBug: A Test Automation Tool in Chatbots. - Márcio Braga dos Santos; Ana Paula Carvalho Cavalcanti Furtado; Sidney C. Nogueira; Diogo Dantas Moreira (SAST, 2020)

A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. - Lucas Lima 001; Amaury Tavares; Sidney C. Nogueira (Sci. Comput. Program., 2020)

Inputs and Outputs in CSP: A Model and a Testing Theory. - Ana Cavalcanti 001; Robert M. Hierons; Sidney C. Nogueira (ACM Trans. Comput. Log., 2020)

Visual Specification of Properties for Robotic Designs. - Waldeck Lindoso; Sidney C. Nogueira; Renato Domingues; Lucas Lima 001 (SBMF, 2021)

Sound Test Case Generation for Concurrent Mobile Features. - Rafaela Almeida; Sidney C. Nogueira; Augusto Sampaio 001 (SBMF, 2023)