Alexandre Mota

According to our database1, Alexandre Mota authored at least 59 papers between 1998 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
HSP: A hybrid selection and prioritisation of regression test cases based on information retrieval and code coverage applied on an industrial case study.
J. Syst. Softw., 2020

Combining model finder and genetic programming into a general purpose automatic program synthesizer.
Inf. Process. Lett., 2020

2019
Probabilistic Semantics for RoboChart - A Weakest Completion Approach.
Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

2018
Aiding exploratory testing with pruned GUI models.
Inf. Process. Lett., 2018

Analysing RoboChart with Probabilities.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

SPt: A Text Mining Process to Extract Relevant Areas from SW Documents to Exploratory Tests.
Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

2017
Evaluating an Automatic Text-based Test Case Selection using a Non-Instrumented Code Coverage Analysis.
Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing, 2017

Feasibility of using Source Code Changes on the Selection of Text-based Regression Test Cases.
Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing, 2017

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

2016
An algebra of temporal faults.
Information Systems Frontiers, 2016

Program synthesis by model finding.
Inf. Process. Lett., 2016

Rigorous development of component-based systems using component metadata and patterns.
Formal Asp. Comput., 2016

Automatically Finding Hidden Industrial Criteria used in Test Selection.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

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

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

Automatic Selection of Test Cases for Regression Testing.
Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, 2016

2015
Model checking CML: tool development and industrial applications.
Formal Asp. Comput., 2015

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Verifying Transformations of Java Programs Using Alloy.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

A Lattice-Based Representation of Temporal Failures.
Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

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

NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications.
Sci. Comput. Program., 2014

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

Rapid Prototyping of a Semantically Well Founded Circus Model Checker.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013
Model-based development of fault tolerant systems of systems.
Proceedings of the IEEE International Systems Conference, 2013

Test case generation from natural language requirements based on SCR specifications.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Formal MDE-Based Tool Development.
Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Creating GUI-based DSL formal tools.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.
Proceedings of the Formal Methods and Software Engineering, 2013

Simulink Timed Models for Program Verification.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Constructive model-based analysis for safety assessment.
STTT, 2012

Identifying Hardware Failures Systematically.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011
Introducing concurrency in sequential Java via laws.
Inf. Process. Lett., 2011

Architectural Verification of Control Systems Using CSP.
Proceedings of the Formal Methods and Software Engineering, 2011

Towards a more straightforward and more expressive metamodel for SDW modeling.
Proceedings of the DOLAP 2011, 2011

2010
Conformance notions for the coordination of interaction components.
Sci. Comput. Program., 2010

Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs.
RITA, 2010

Evolving a Safe System Design Iteratively.
Proceedings of the Computer Safety, 2010

Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Checking Z Data Refinements Using Traces Refinement.
Electron. Notes Theor. Comput. Sci., 2009

Formalisation and Analysis of Objects as CSP Processes.
Proceedings of the Formal Methods: Foundations and Applications, 2009

A Mechanized Strategy for Safe Abstraction of CSP Specifications.
Proceedings of the Formal Methods: Foundations and Applications, 2009

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

Systematic Development of Trustworthy Component Systems.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Compositional Abstraction of CSPZ Processes.
J. Braz. Comp. Soc., 2008

Viewing CSP Specifications with UML-RT Diagrams.
Electron. Notes Theor. Comput. Sci., 2008

Framework composition conformance via refinement checking.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

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

2007
Towards Property Oriented Testing.
Electron. Notes Theor. Comput. Sci., 2007

Integrating UML and Formal Methods.
Electron. Notes Theor. Comput. Sci., 2007

2006
Transformation Laws for UML-RT.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
Preface.
Electron. Notes Theor. Comput. Sci., 2005

A Semantics for UML-RT Active Classes via Mapping into Circus.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004
Class and Capsule Refinement in UML for Real Time.
Electron. Notes Theor. Comput. Sci., 2004

Efficient CSPZ Data Abstraction.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2002
Mechanical Abstraction of CSPZ Processes.
Proceedings of the FME 2002: Formal Methods, 2002

2001
Model-checking CSP-Z: strategy, tool support and industrial application.
Sci. Comput. Program., 2001

1998
Model-Checking CSP-Z.
Proceedings of the Fundamental Approaches to Software Engineering, 1998


  Loading...