Sidney C. Nogueira

21 papers A 1C 2Misc 1Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Combining sequential feature test cases to generate sound tests for concurrent features.
Sci. Comput. Program.
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
2025 — conf
A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models.
SBMF
Ciprian Teodorov, Lucas Lima, Sidney C. Nogueira, Sylvain Guérin, Loïc Lagadec
2025 — ed.
Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
SBMF
Sidney C. Nogueira, Ciprian Teodorov
2023 — conf
Sound Test Case Generation for Concurrent Mobile Features.
SBMF
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
2021 — conf
Visual Specification of Properties for Robotic Designs.
SBMF
Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima
2020 J jnl
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.
Sci. Comput. Program.
Lucas Lima, Amaury Tavares, Sidney C. Nogueira
2020 J jnl
Inputs and Outputs in CSP: A Model and a Testing Theory.
ACM Trans. Comput. Log.
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira
2020 — conf
OggyBug: A Test Automation Tool in Chatbots.
SAST
Márcio Braga dos Santos, Ana Paula Carvalho Cavalcanti Furtado, Sidney C. Nogueira, Diogo Dantas Moreira
2020 — conf
Testing acoustic scene classifiers using Metamorphic Relations.
AITest
Diogo Moreira, Ana Paula Furtado, Sidney C. Nogueira
2019 J jnl
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.
CoRR
Lucas Lima, Amaury Tavares, Sidney C. Nogueira
2019 A conf
Initial findings on the evaluation of a model-based testing tool in the test design process.
ESEM
Larissa Ferreira, Sidney C. Nogueira, Lucas Lima, Liliane Fonseca, Waldemar Ferreira
2019 J jnl
Test case generation, selection and coverage from natural language.
Sci. Comput. Program.
Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
2018 — conf
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions.
SBMF
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
2017 — conf
FDR: From Theory to Industrial Application.
Concurrency, Security, and Puzzles
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
2016 Misc conf
A Suspension-Trace Semantics for CSP.
TASE
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio
2016 — conf
An Approach for Verifying Educational Robots.
SBMF
Sidney C. Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira
2015 — conf
Automatic Generation of Test Cases and Test Purposes from Natural Language.
SBMF
Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
2014 J jnl
Sound and mechanised compositional verification of input-output conformance.
Softw. Test. Verification Reliab.
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe
2014 J jnl
Test generation from state based use case models.
Formal Aspects Comput.
Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota
2009 C conf
Compositional Verification of Input-Output Conformance via CSP Refinement Checking.
ICFEM
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota
2008 C conf
Guided Test Generation from CSP Models.
ICTAC
Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota