Alexandre Mota

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 23

Top Topics

Rapid Prototyping

Top Venues

Inf. Process. Lett.

Formal Aspects Comput.

Publications

Daniel C. Da Costa, Ricardo B. C. Prudêncio, Alexandre Mota
Assessor Models with a Reject Option for Soccer Result Prediction. ICMLA (2023)
Alexandre Mota, Fei Yang, Cristiano Teixeira
Formally Verifying a Real World Smart Contract. CoRR (2023)
Cláudio Magalhães, Alexandre Mota, Luis Momente
UI Test case prioritization on an industrial setting: A search for the best criteria. Softw. Qual. J. 29 (2) (2021)
Alexandre Correia, Juliano Iyoda, Alexandre Mota
. Sci. Comput. Program. 201 (2021)
Cláudio Magalhães, João Andrade, Lucas Perrusi, Alexandre Mota, Flávia A. Barros, Eliot Maia
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. 159 (2020)
Alexandre Correia, Juliano Iyoda, Alexandre Mota
Combining model finder and genetic programming into a general purpose automatic program synthesizer. Inf. Process. Lett. 154 (2020)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP (2019)
Cloves Lima, Ivan Santos, Flávia A. Barros, Alexandre Mota
SPt: A Text Mining Process to Extract Relevant Areas from SW Documents to Exploratory Tests. BRACIS (2018)
Jacinto F. S. Reis, Alexandre Mota
Aiding exploratory testing with pruned GUI models. Inf. Process. Lett. 133 (2018)
Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock
Analysing RoboChart with Probabilities. SBMF (2018)
Alexandre Mota
The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser. SBMF (2018)
Cláudio Magalhães, João Andrade, Lucas Perrusi, Alexandre Mota
Evaluating an Automatic Text-based Test Case Selection using a Non-Instrumented Code Coverage Analysis. SAST (2017)
Joelson Araújo, Jaedson Araújo, Cláudio Magalhães, João Andrade, Alexandre Mota
Feasibility of using Source Code Changes on the Selection of Text-based Regression Test Cases. SAST (2017)
Sidney C. Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira
An Approach for Verifying Educational Robots. SBMF (2016)
Cláudio Magalhães, Flávia A. Barros, Alexandre Mota, Eliot Maia
Automatic Selection of Test Cases for Regression Testing. SAST (2016)
Alexandre Mota, Juliano Iyoda, Heitor Maranhão
Program synthesis by model finding. Inf. Process. Lett. 116 (11) (2016)
André Didier, Alexandre Mota
An algebra of temporal faults. Inf. Syst. Frontiers 18 (5) (2016)
Cláudio Magalhães, Alexandre Mota, Eliot Maia
Automatically Finding Hidden Industrial Criteria used in Test Selection. SEKE (2016)
Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros
Model Checking Requirements. SBMF (2016)
Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen
Model checking CML: tool development and industrial applications. Formal Aspects Comput. 27 (5-6) (2015)
André Luis Ribeiro Didier, Alexandre Mota
A Lattice-Based Representation of Temporal Failures. IRI (2015)
Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. SEFM (2015)
Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota
Verifying Transformations of Java Programs Using Alloy. SBMF (2015)
Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota
Test generation from state based use case models. Formal Aspects Comput. 26 (3) (2014)
Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
: Test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95 (2014)
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe
Sound and mechanised compositional verification of input-output conformance. Softw. Test. Verification Reliab. 24 (4) (2014)
Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. SEFM (2014)
Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
Test case generation from natural language requirements based on SCR specifications. SAC (2013)
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. Oliveira
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Sci. Comput. Program. 78 (8) (2013)
Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr
Creating GUI-based DSL formal tools. IRI (2013)
Gustavo Carvalho, Augusto Sampaio, Alexandre Mota
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. ICFEM (2013)
Zoe Andrews, Richard John Payne, Alexander B. Romanovsky, André Didier, Alexandre Mota
Model-based development of fault tolerant systems of systems. SysCon (2013)
Ana Cavalcanti, Alexandre Mota, Jim Woodcock
Simulink Timed Models for Program Verification. Theories of Programming and Formal Methods (2013)
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Márcio Ribeiro, Yuanfang Cai, Roberta Coelho, Cláudio Sant'Anna, Alexandre Mota
Quantifying the effects of Aspectual Decompositions on Design by Contract Modularization: a Maintenance Study. Int. J. Softw. Eng. Knowl. Eng. 23 (7) (2013)
Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr
Formal MDE-Based Tool Development. IRI (best papers) (2013)
Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. SBMF (2012)
André Didier, Alexandre Mota
Identifying Hardware Failures Systematically. SBMF (2012)
Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Edson H. Watanabe
Constructive model-based analysis for safety assessment. Int. J. Softw. Tools Technol. Transf. 14 (6) (2012)
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. Oliveira, Márcio Ribeiro
Checking Contracts for AOP using XPIDRs. SEKE (2012)
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Cesar A. L. Oliveira, Márcio Ribeiro
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. SEKE (2012)
José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Uirá Kulesza, Cláudio Sant'Anna
An annotation-based approach for JCSP concurrent programming: a quantitative study. MISS@AOSD (2011)
Henrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach. FTfJP@ECOOP (2011)
Rafael M. Duarte, Alexandre Mota, Augusto Sampaio
Introducing concurrency in sequential Java via laws. Inf. Process. Lett. 111 (3) (2011)
Paulo S. Ruiz Del Aguila, Robson do Nascimento Fidalgo, Alexandre Mota
Towards a more straightforward and more expressive metamodel for SDW modeling. DOLAP (2011)
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, Cesar A. L. Oliveira
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. SEKE (2011)
Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo
Architectural Verification of Control Systems Using CSP. ICFEM (2011)
Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe
Evolving a Safe System Design Iteratively. SAFECOMP (2010)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
Conformance notions for the coordination of interaction components. Sci. Comput. Program. 75 (5) (2010)
Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz
GUI Testing Techniques Evaluation by Designed Experiments. ICST (2010)
Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. ISoLA (1) (2010)
Cristiano Bertolini, Alexandre Mota, Eduardo Aranha
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis. ISSRE (2010)
Henrique Rebêlo, Ricardo M. F. Lima, Uirá Kulesza, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, José Elias Araújo
The contract enforcement aspect pattern. SugarLoafPLoP (2010)
José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima
An Aspect-based Approach for Concurrent Programming using CSP Features. ICSOFT (2) (2010)
Cristiano Bertolini, Alexandre Mota
A Framework for GUI Testing Based on Use Case Design. ICST Workshops (2010)
Adriana Damasceno, Adalberto Farias, Alexandre Mota
A Mechanized Strategy for Safe Abstraction of CSP Specifications. SBMF (2009)
Cristiano Bertolini, Alexandre Mota
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. SEFM (2009)
André Didier, Adalberto Farias, Alexandre Mota
Checking Z Data Refinements Using Traces Refinement. Electron. Notes Theor. Comput. Sci. 240 (2009)
Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. ICST (2009)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
Systematic Development of Trustworthy Component Systems. FM (2009)
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota
Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM (2009)
Renata Kaufman, Augusto Sampaio, Alexandre Mota
Formalisation and Analysis of Objects as CSP Processes. SBMF (2009)
Cristiano Bertolini, Alexandre Mota
Using Refinement Checking as System Testing. CIbSE (2008)
Patrícia Ferreira, Augusto Sampaio, Alexandre Mota
Viewing CSP Specifications with UML-RT Diagrams. Electron. Notes Theor. Comput. Sci. 195 (2008)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
Framework composition conformance via refinement checking. SAC (2008)
Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota
Guided Test Generation from CSP Models. ICTAC (2008)
Clélio Feitosa, Glaucia Peres, Alexandre Mota
Unifying Models of Test Cases and Requirements. CIbSE (2008)
Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota
Towards Property Oriented Testing. Electron. Notes Theor. Comput. Sci. 184 (2007)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
Transformation Laws for UML-RT. FMOODS (2006)
Alexandre Mota, Arnaldo V. Moura
Preface. Electron. Notes Theor. Comput. Sci. 130 (2005)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
A Semantics for UML-RT Active Classes via Mapping into Circus. FMOODS (2005)
Augusto Sampaio, Alexandre Mota, Rodrigo Ramos
Class and Capsule Refinement in UML for Real Time. Electron. Notes Theor. Comput. Sci. 95 (2004)
Adalberto Farias, Alexandre Mota, Augusto Sampaio
Data Abstraction. IFM (2004)
Alexandre Mota, Paulo Borba, Augusto Sampaio
Processes. FME (2002)
Alexandre Mota, Augusto Sampaio
Model-checking CSP-Z: strategy, tool support and industrial application. Sci. Comput. Program. 40 (1) (2001)
Alexandre Mota, Augusto Sampaio
Model-Checking CSP-Z. FASE (1998)
Alexandre Mota, Augusto Sampaio
Model-Checking Processes with States: An Industrial Case Study. SBES (1998)