Alexandre Mota

According to our database, Alexandre Mota authored at least 84 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces.

Alexandre R. S. Correia, Juliano Manabu Iyoda, Alexandre Cabral Mota

Softw. Pract. Exp., March, 2024

2023

Formally Verifying a Real World Smart Contract.

Alexandre Mota, Fei Yang, Cristiano Teixeira

CoRR, 2023

Machine Learning Techniques for Escaped Defect Analysis in Software Testing.

Lidia Perside Gomes Nascimento, Ricardo Bastos Cavalcante Prudêncio, Alexandre Cabral Mota, Audir de Araujo Paiva Filho, Pedro Henrique Alves Cruz, Daniel Cardoso Coelho Alves de Oliveira, Pedro Roncoli Sarmet Moreira

Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

Assessor Models with a Reject Option for Soccer Result Prediction.

Daniel C. Da Costa, Ricardo B. C. Prudêncio, Alexandre Mota

Proceedings of the International Conference on Machine Learning and Applications, 2023

2022

The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs.

Alexandre R. S. Correia, Juliano Manabu Iyoda, Alexandre Cabral Mota

Softw. Pract. Exp., 2022

2021

UI Test case prioritization on an industrial setting: A search for the best criteria.

Cláudio Magalhães, Alexandre Mota, Luis Momente

Softw. Qual. J., 2021

A family of multi-concept program synthesisers in Alloy^⁎.

Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota

Sci. Comput. Program., 2021

2020

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

Cláudio Magalhães, João Andrade, Lucas Perrusi, Alexandre Mota, Flávia A. Barros, Eliot Maia

J. Syst. Softw., 2020

Combining model finder and genetic programming into a general purpose automatic program synthesizer.

Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota

Inf. Process. Lett., 2020

2019

Probabilistic Semantics for RoboChart - A Weakest Completion Approach.

Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

2018

Aiding exploratory testing with pruned GUI models.

Jacinto F. S. Reis, Alexandre Mota

Inf. Process. Lett., 2018

The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser.

Alexandre Mota

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Analysing RoboChart with Probabilities.

Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock

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.

Cloves Lima, Ivan Santos, Flávia A. Barros, Alexandre Mota

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.

Cláudio Magalhães, João Andrade, Lucas Perrusi, Alexandre Mota

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.

Joelson Araújo, Jaedson Araújo, Cláudio Magalhães, João Andrade, Alexandre Mota

Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing, 2017

Probabilistic Analysis Applied to Cleaning Robots.

Rafael Pereira de Araujo, Alexandre Cabral Mota, Sidney de Carvalho Nogueira

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

2016

An algebra of temporal faults.

André Didier, Alexandre Mota

Inf. Syst. Frontiers, 2016

Program synthesis by model finding.

Alexandre Mota, Juliano Iyoda, Heitor Maranhão

Inf. Process. Lett., 2016

Rigorous development of component-based systems using component metadata and patterns.

Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe

Formal Aspects Comput., 2016

Automatically Finding Hidden Industrial Criteria used in Test Selection.

Cláudio Magalhães, Alexandre Mota, Eliot Maia

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

An Approach for Verifying Educational Robots.

Sidney C. Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira

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

Model Checking Requirements.

Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros

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

Automatic Selection of Test Cases for Regression Testing.

Cláudio Magalhães, Flávia A. Barros, Alexandre Mota, Eliot Maia

Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, 2016

2015

Model checking CML: tool development and industrial applications.

Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen

Formal Aspects Comput., 2015

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP.

Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Verifying Transformations of Java Programs Using Alloy.

Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

A Lattice-Based Representation of Temporal Failures.

André Luis Ribeiro Didier, Alexandre Mota

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

2014

Sound and mechanised compositional verification of input-output conformance.

Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe

Softw. Test. Verification Reliab., 2014

NAT2TEST_SCR: Test case generation from natural language requirements based on SCR specifications.

Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn

Sci. Comput. Program., 2014

Test generation from state based use case models.

Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota

Formal Aspects Comput., 2014

Rapid Prototyping of a Semantically Well Founded Circus Model Checker.

Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock

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.

Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. de Oliveira

Sci. Comput. Program., 2013

Quantifying the effects of Aspectual Decompositions on Design by Contract Modularization: a Maintenance Study.

Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Márcio Ribeiro, Yuanfang Cai, Roberta Coelho, Cláudio Sant'Anna, Alexandre Mota

Int. J. Softw. Eng. Knowl. Eng., 2013

Model-based development of fault tolerant systems of systems.

Zoe Andrews, Richard John Payne, Alexander B. Romanovsky, André Didier, Alexandre Mota

Proceedings of the IEEE International Systems Conference, 2013

Test case generation from natural language requirements based on SCR specifications.

Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Formal MDE-Based Tool Development.

Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr

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.

Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr

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.

Gustavo Carvalho, Augusto Sampaio, Alexandre Mota

Proceedings of the Formal Methods and Software Engineering, 2013

Simulink Timed Models for Program Verification.

Ana Cavalcanti, Alexandre Mota, Jim Woodcock

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Constructive model-based analysis for safety assessment.

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Edson H. Watanabe

Int. J. Softw. Tools Technol. Transf., 2012

Checking Contracts for AOP using XPIDRs.

Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro

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.

Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Identifying Hardware Failures Systematically.

André Didier, Alexandre Mota

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications.

Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011

Introducing concurrency in sequential Java via laws.

Rafael M. Duarte, Alexandre Mota, Augusto Sampaio

Inf. Process. Lett., 2011

Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study.

Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, César A. L. de Oliveira

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Architectural Verification of Control Systems Using CSP.

Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo

Proceedings of the Formal Methods and Software Engineering, 2011

On the interplay of exception handling and design by contract: an aspect-oriented recovery approach.

Henrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

Towards a more straightforward and more expressive metamodel for SDW modeling.

Paulo S. Ruiz Del Aguila, Robson do Nascimento Fidalgo, Alexandre Mota

Proceedings of the DOLAP 2011, 2011

An annotation-based approach for JCSP concurrent programming: a quantitative study.

José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Uirá Kulesza, Cláudio Sant'Anna

Proceedings of the 1st workshop on Modularity in systems software, 2011

2010

Conformance notions for the coordination of interaction components.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

Sci. Comput. Program., 2010

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

Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa, Patrícia Cabral de Azevedo Restelli Tedesco, Alexandre Cabral Mota

RITA, 2010

The contract enforcement aspect pattern.

Henrique Rebêlo, Ricardo M. F. Lima, Uirá Kulesza, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, José Elias Araújo

Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, 2010

Evolving a Safe System Design Iteratively.

Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe

Proceedings of the Computer Safety, 2010

Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis.

Cristiano Bertolini, Alexandre Mota, Eduardo Aranha

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

GUI Testing Techniques Evaluation by Designed Experiments.

Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz

Proceedings of the Third International Conference on Software Testing, 2010

A Framework for GUI Testing Based on Use Case Design.

Cristiano Bertolini, Alexandre Mota

Proceedings of the Third International Conference on Software Testing, 2010

An Aspect-based Approach for Concurrent Programming using CSP Features.

José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima

Proceedings of the ICSOFT 2010, 2010

2009

Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.

Cristiano Bertolini, Alexandre Mota

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Formalisation and Analysis of Objects as CSP Processes.

Renata Kaufman, Augusto Sampaio, Alexandre Mota

Proceedings of the Formal Methods: Foundations and Applications, 2009

A Mechanized Strategy for Safe Abstraction of CSP Specifications.

Adriana Damasceno, Adalberto Farias, Alexandre Mota

Proceedings of the Formal Methods: Foundations and Applications, 2009

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs.

Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Compositional Verification of Input-Output Conformance via CSP Refinement Checking.

Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota

Proceedings of the Formal Methods and Software Engineering, 2009

Systematic Development of Trustworthy Component Systems.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

Proceedings of the FM 2009: Formal Methods, 2009

2008

Compositional Abstraction of CSPZ Processes.

Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio

J. Braz. Comput. Soc., 2008

Checking Z Data Refinements Using Traces Refinement.

André Didier, Adalberto Farias, Alexandre Mota

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

Framework composition conformance via refinement checking.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Guided Test Generation from CSP Models.

Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota

Proceedings of the Theoretical Aspects of Computing, 2008

Unifying Models of Test Cases and Requirements.

Clélio Feitosa, Glaucia Peres, Alexandre Mota

Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

Using Refinement Checking as System Testing.

Cristiano Bertolini, Alexandre Mota

Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

2006

Viewing CSP Specifications with UML-RT Diagrams.

Patrícia Ferreira, Augusto Sampaio, Alexandre Mota

Proceedings of the Brazilian Symposium on Formal Methods, 2006

Transformation Laws for UML-RT.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

Towards Property Oriented Testing.

Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Integrating UML and Formal Methods.

Rafael Magalhães Borges, Alexandre Cabral Mota

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

A Semantics for UML-RT Active Classes via Mapping into Circus.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

Preface.

Alexandre Mota, Arnaldo V. Moura

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Efficient CSP_Z Data Abstraction.

Adalberto Farias, Alexandre Mota, Augusto Sampaio

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Class and Capsule Refinement in UML for Real Time.

Augusto Sampaio, Alexandre Mota, Rodrigo Ramos

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

2002

Mechanical Abstraction of CSP_Z Processes.

Alexandre Mota, Paulo Borba, Augusto Sampaio

Proceedings of the FME 2002: Formal Methods, 2002

2001

Model-checking CSP-Z: strategy, tool support and industrial application.

Alexandre Mota, Augusto Sampaio

Sci. Comput. Program., 2001

1998

Model-Checking Processes with States: An Industrial Case Study.

Alexandre Mota, Augusto Sampaio

Proceedings of the 12th Brazilian Symposium on Software Engineering, 1998

Model-Checking CSP-Z.

Alexandre Mota, Augusto Sampaio

Proceedings of the Fundamental Approaches to Software Engineering, 1998