Alexandre Mota

According to our database1, Alexandre Mota authored at least 75 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

The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 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.
Inf. Syst. 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. Verification 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
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study.
Sci. Comput. Program., 2013

Quantifying the effects of Aspectual Decompositions on Design by Contract Modularization: a Maintenance Study.
International Journal of Software Engineering and Knowledge Engineering, 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.
Int. J. Softw. Tools Technol. Transf., 2012

Checking Contracts for AOP using XPIDRs.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 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

Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

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

On the interplay of exception handling and design by contract: an aspect-oriented recovery approach.
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 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

The contract enforcement aspect pattern.
Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, 2010

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

Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

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

GUI Testing Techniques Evaluation by Designed Experiments.
Proceedings of the Third International Conference on Software Testing, 2010

A Framework for GUI Testing Based on Use Case Design.
Proceedings of the Third International Conference on Software Testing, 2010

An Aspect-based Approach for Concurrent Programming using CSP Features.
Proceedings of the ICSOFT 2010, 2010

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

Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 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

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 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. Comput. 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

Unifying Models of Test Cases and Requirements.
Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

Using Refinement Checking as System Testing.
Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 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...