Sidney C. Nogueira

Orcid: 0000-0002-8817-5029

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

Collaborative distances:

Timeline

2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
2
1
2
1
1
2
1
1
2
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Sound Test Case Generation for Concurrent Mobile Features.
Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

2021
Visual Specification of Properties for Robotic Designs.
Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

2020
Inputs and Outputs in CSP: A Model and a Testing Theory.
ACM Trans. Comput. Log., 2020

A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.
Sci. Comput. Program., 2020

OggyBug: A Test Automation Tool in Chatbots.
Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020

Testing acoustic scene classifiers using Metamorphic Relations.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019
Test case generation, selection and coverage from natural language.
Sci. Comput. Program., 2019

Initial findings on the evaluation of a model-based testing tool in the test design process.
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.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2017
Probabilistic Analysis Applied to Cleaning Robots.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

FDR: From Theory to Industrial Application.
Proceedings of the Concurrency, Security, and Puzzles, 2017

2016
A Suspension-Trace Semantics for CSP.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

An Approach for Verifying Educational Robots.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2015
Automatic Generation of Test Cases and Test Purposes from Natural Language.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

2014
Sound and mechanised compositional verification of input-output conformance.
Softw. Test. Verification Reliab., 2014

Test generation from state based use case models.
Formal Aspects Comput., 2014

2009
Compositional Verification of Input-Output Conformance via CSP Refinement Checking.
Proceedings of the Formal Methods and Software Engineering, 2009

2008
Guided Test Generation from CSP Models.
Proceedings of the Theoretical Aspects of Computing, 2008


  Loading...