2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
Publicações
2025
Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts
Mota, Alexandre; VILLARIM, MANOEL; IYODA, JULIANO; CORNÉLIO, MÁRCIO
JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT
2024
Improving Android app exploratory testing with UI test cases using code change analysis
REIS, JACINTO; Mota, Alexandre
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING (PRINT)
2024
The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces
CORREIA, ALEXANDRE R. S.; IYODA, JULIANO M.; MOTA, ALEXANDRE C.
SOFTWARE-PRACTICE & EXPERIENCE
2023
Assessor Models with a Reject Option for Soccer Result Prediction
DA COSTA, DANIEL C.; PRUDÊNCIO, RICARDO; Mota, Alexandre
[ICMLA]
2023 International Conference on Machine Learning and Applications (ICMLA)
2023
Machine Learning Techniques for Escaped Defect Analysis in Software Testing
NASCIMENTO, LIDIA PERSIDE GOMES; PRUDÊNCIO, RICARDO BASTOS CAVALCANTE; MOTA, ALEXANDRE CABRAL; FILHO, AUDIR DE ARAUJO PAIVA; CRUZ, PEDRO HENRIQUE ALVES; OLIVEIRA, DANIEL CARDOSO COELHO ALVES DE; MOREIRA, PEDRO RONCOLI SARMET
[SAST]
SAST 2023: 8th Brazilian Symposium on Systematic and Automated Software Testing
2021
UI Test case prioritization on an industrial setting: A search for the best criteria
Magalhães, C.; MOTA, A.; MOTA, A.; Momenté, L.
SOFTWARE QUALITY JOURNAL (ONLINE)
2021
A family of multi-concept program synthesisers in Alloy-
CORREIA, ALEXANDRE; IYODA, JULIANO; Mota, Alexandre
SCIENCE OF COMPUTER PROGRAMMING
2021
The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs
CORREIA, ALEXANDRE R. S.; IYODA, JULIANO M.; MOTA, ALEXANDRE C.
SOFTWARE: PRACTICE AND EXPERIENCE
2020
Combining model finder and genetic programming into a general purpose automatic program synthesizer
CORREIA, ALEXANDRE; IYODA, JULIANO; Mota, Alexandre
INFORMATION PROCESSING LETTERS
2020
HSP: A hybrid selection and prioritisation of regression test cases based on information retrieval and code coverage applied on an industrial case study
MAGALHÃES, CLAUDIO; ANDRADE, JOÃO; PERRUSI, LUCAS; Mota, Alexandre; BARROS, FLÁVIA; MAIA, ELIOT
JOURNAL OF SYSTEMS AND SOFTWARE
2018
Analyzing Cleaning Robots using Probabilistic Model Checking
Araújo, R.; MOTA, A.; MOTA, A.; NOGUEIRA, S.
Theory and Application of Reuse, Integration, and Data Science (Book Chapter)
2018
Aiding exploratory testing with pruned GUI models
REIS, J.; MOTA, A.; MOTA, A.
INFORMATION PROCESSING LETTERS
2018
SPt: a text mining process to extract relevant areas from SW documents to exploratory tests
Lima, C.; F. Barros; MOTA, A.; MOTA, A.; Santos, I.
[BRACIS]
Brazilian Conference on Intelligent Systems
2018
The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser
MOTA, A.; MOTA, A.
Brazilian Symposium on Formal Methods (DOI: 10.1007/978-3-030-03044-5)
2018
Analysing RoboChart with Probabilities
CONSERVA FILHO, M.; Marinho, R.; MOTA, A.; MOTA, A.; Woodcock, Jim
[SBMF]
Brazilian Symposium on Formal Methods
2017
Feasibility of using Source Code Changes on the Selection of Text-based Regression Test Cases
ARAÚJO, JOELSON; ARAÚJO, JAEDSON; MAGALHÃES, CLÁUDIO; ANDRADE, JOÃO; Mota, Alexandre
[SAST]
the 2nd Brazilian Symposium
2017
Evaluating an Automatic Text-based Test Case Selection using a Non-Instrumented Code Coverage Analysis
MAGALHÃES, CLAUDIO; ANDRADE, JOÃO; PERRUSI, LUCAS; Mota, Alexandre
[SAST]
the 2nd Brazilian Symposium
2017
Probabilistic Analysis Applied to Cleaning Robots
ARAUJO, RAFAEL PEREIRA DE; MOTA, ALEXANDRE CABRAL; NOGUEIRA, SIDNEY DE CARVALHO
[IRI]
2017 IEEE International Conference on Information Reuse and Integration (IRI)
2016
Model Checking Requirements
Barza, Sérgio; CARVALHO, GUSTAVO; IYODA, j.; Sampaio, Augusto; MOTA, A.; MOTA, A.; BARROS, FLÁVIA
[SBMF]
Brazilian Symposium on Formal Methods
2016
Verifying Transformations of Java Programs Using Alloy
Dias, T.; Sampaio, Augusto; MOTA, A.; MOTA, A.
[SBMF]
Brazilian Symposium on Formal Methods
2016
An algebra of temporal faults
Didier, André; Mota, Alexandre
Information Systems Frontiers (Print)
2016
An Approach for Verifying Educational Robots
NOGUEIRA, SIDNEY; Falcão, Taciana Pontual; MOTA, A.; MOTA, A.; Oliveira, Emanuel; Pereira, Iverson
[SBMF]
Brazilian Symposium on Formal Methods
2016
Automatic Selection of Test Cases for Regression Testing
MAGALHÃES, CLÁUDIO; BARROS, FLÁVIA; Mota, Alexandre; MAIA, ELIOT
[SAST]
the 1st Brazilian Symposium
2016
Automatically Finding Hidden Industrial Criteria used in Test Selection
MAGALHÃES, CLÁUDIO; Mota, Alexandre; MAIA, ELIOT
The 28th International Conference on Software Engineering and Knowledge Engineering
2016
Rigorous development of component-based systems using component metadata and patterns
OLIVEIRA, M. V. M.; ANTONINO, P.; RAMOS, R.; SAMPAIO, A. C. A.; MOTA, A.; ROSCOE, A. W.
Formal Aspects of Computing
2016
Program Synthesis by Model Finding
Mota, Alexandre; IYODA, JULIANO; MARANHÃO, HEITOR
Information Processing Letters (Print)
2015
Model checking CML: tool development and industrial applications
MOTA, A.; FARIAS, A.; WOODCOCK, J.; LARSEN, P. G.
Formal Aspects of Computing
2015
A Lattice-Based Representation of Temporal Failures
DIDIER, ANDRE LUIS RIBEIRO; Mota, Alexandre
[IRI]
2015 IEEE International Conference on Information Reuse and Integration (IRI)
2014
NAT2TEST$_{SCR}$: Test case generation from natural language requirements based on SCR specifications
CARVALHO, GUSTAVO; Digo Falcão; F. Barros; SAMPAIO, A. C. A.; MOTA, A.; MOTTA, LEONARDO; BLACKBURN, MARK
Science of Computer Programming (Print)
2014
Sound and mechanised compositional verification of input-output conformance
SAMPAIO, A. C. A.; Nogueira, Sidney; MOTA, A.; ISOBE, YOSHINAO
Software Testing, Verification & Reliability
2014
Rapid Prototyping of a Semantically Well Founded Circus Model Checker
MOTA, A.; MOTA, A.; Farias, Adalberto; DIDIER, ANDRE; Woodcock, Jim
[SEFM]
Software Engineering and Formal Methods (SEFM 2014)
2013
QUANTIFYING THE EFFECTS OF ASPECTUAL DECOMPOSITIONS ON DESIGN BY CONTRACT MODULARIZATION: A MAINTENANCE STUDY
REBÊLO, Henrique; MOTA, A.; LIMA, R. M. F.; KULESZA, U.; RIBEIRO, Márcio; Yuanfang Cai; COELHO, R. S.; SANT`ANNA, Cláudio
International Journal of Software Engineering and Knowledge Engineering
2013
Implementing an SMT-based Model Checker for CSP from its Operational Semantics
MOTA, A.; MOTA, A.; FARIAS, A.
Simpósio Brasileiro de Métodos Formais
2013
Model-based development of fault tolerant systems of systems
ANDREWS, ZOE; PAYNE, RICHARD; ROMANOVSKY, ALEXANDER; DIDIER, ANDRE; Mota, Alexandre
2013 7th Annual IEEE Systems Conference (SysCon)
2013
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
CARVALHO, GUSTAVO; Sampaio, Augusto; MOTA, A.; MOTA, A.
[ICFEM]
International Conference on Formal Engineering Methods (ICFEM 2013)
2013
Simulink Timed Models for Program Verification
Cavalcanti, Ana; MOTA, A.; MOTA, A.; Woodcock, Jim
Theories of Programming and Formal Methods
2013
Creating GUI-based DSL formal tools
SILVA, ROBSON; Mota, Alexandre; STARR, RODRIGO RIZZI
[IRI]
2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)
2013
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study
REBÊLO, Henrique; LIMA, RICARDO; LEAVENS, GARY T.; CORNÉLIO, MÁRCIO; Mota, Alexandre; OLIVEIRA, CÉSAR
Science of Computer Programming (Print)
2012
Constructive model-based analysis for safety assessment
Gomes, Adriano; MOTA, A.; SAMPAIO, A. C. A.; Sampaio, Augusto; Ferri, Felipe; Watanabe, Edson
International Journal on Software Tools for Technology Transfer (Internet)
2012
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
CARVALHO, GUSTAVO; FALCÃO, DIOGO; MOTA, A.; MOTA, A.; Sampaio, Augusto
[SBMF]
Brazilian Symposium on Formal Methods
2012
From SCR to SCADE
Costa, M.; MOTA, A.; MOTA, A.
Simpósio Brasileiro de Métodos Formais
2012
Test generation from state based use case models
NOGUEIRA, SIDNEY; Sampaio, Augusto; Mota, Alexandre
Formal Aspects of Computing
2012
Identifying Hardware Failures Systematically
DIDIER, ANDRE; MOTA, A.; MOTA, A.
[SBMF]
Brazilian Symposium on Formal Methods
2011
Architectural Verification of Control Systems Using CSP
Jesus, Joabe; MOTA, A.; MOTA, A.; Sampaio, Augusto; Grijo, Luiz
[ICFEM]
International Conference on Formal Methods (ICFEM)
2011
Analytical Comparison of Refinement Checkers
Carvalho, G.; Dias, T.; MOTA, A.; MOTA, A.; SAMPAIO, A.
[SBMF]
Brazilian Symposium on Formal Methods
2011
On the interplay of exception handling and design by contract
REBÊLO, Henrique; COELHO, ROBERTA; LIMA, RICARDO; LEAVENS, GARY T.; HUISMAN, MARIEKE; Mota, Alexandre; CASTOR, FERNANDO
the 13th Workshop
2011
An annotation-based approach for JCSP concurrent programming
ARAÚJO, JOSÉ ELIAS; REBÊLO, Henrique; LIMA, RICARDO; Mota, Alexandre; KULESZA, UIRÁ; SANT'ANNA, CLÁUDIO
the 1st workshop
2011
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study
REBÊLO, H.; LIMA, R.; Kuleska, U.; Santanna, C.; Coelho, R.; MOTA, A.; MOTA, A.; Ribeiro, M.
[SEKE]
International Conference on Software Engineering and Knowledge Engineering
2011
Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs
BARBOSA, R.; COSTA, A.; TEDESCO, P.; MOTA, A.; MOTA, A.
Revista de Informática Teórica e Aplicada (Impresso)
2010
The Contract Enforcement Aspect Pattern
REBÊLO, H.; LIMA, R.; Kuleska, U.; Coelho, R.; MOTA, A.; MOTA, A.; Ribeiro, M.
SugarLoafPLop
2010
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking
Gomes, Adriano; MOTA, A.; MOTA, A.; Sampaio, Augusto; Ferri, Felipe; Buzzi, Julio
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
2010
Introducing concurrency in sequential Java via laws
Duarte, Rafael; Mota, Alexandre; Sampaio, Augusto
Information Processing Letters (Print)
2010
Using CSP in the Formal Specification of the Micro-Organizational Level of Multiagent Systems
BARBOSA, R.; COSTA, A.; TEDESCO, P.; MOTA, A.
AT2AI-7
2010
GUI Testing Techniques Evaluation by Designed Experiments
BERTOLINI, CRISTIANO; Mota, Alexandre; ARANHA, EDUARDO; FERRAZ, CRISTIANO
<![CDATA[2010 Third International Conference on Software Testing, Verification and Validation]]>
2010
Evolving a Safe System Design Iteratively
MOTA, A.; JESUS, J.; GOMES, A.; FERRI, F.; WATANABE, E.
The 29th International Conference on Computer Safety, Reliability and Security
2010
Conformance notions for the coordination of interaction components
Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre
Science of Computer Programming (Print)
2010
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis
BERTOLINI, C.; MOTA, A.; ARANHA, E.
[ISSRE]
International Symposium on Software Reliability Engineering
2010
AN ASPECT-BASED APPROACH FOR CONCURRENT PROGRAMMING USING CSP FEATURES
ARAÚJO, J.; REBÊLO, H.; LIMA, R.; MOTA, A.; CASTOR, F.; LIMA, T.; LUCENA, J.; LIMA, F.
5th International Conference on Software and Data Technologies
2009
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques
BERTOLINI, CRISTIANO; Mota, Alexandre
<![CDATA[2009 Seventh IEEE International Conference on Software Engineering and Formal Methods]]>
2009
Systematic Development of Trustworthy Component Systems
Ramos, Rodrigo; Sampaio, Augusto; MOTA, A.; MOTA, A.
[FM]
International Symposium on Formal Methods (FM)
2009
Formalisation and Analysis of Objects as CSP Processes
Kaufman, Renata; Sampaio, Augusto; MOTA, A.; MOTA, A.
[SBMF]
Brazilian Symposium on Formal Methods
2009
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
Sampaio, Augusto; NOGUEIRA, SIDNEY; MOTA, A.; MOTA, A.
[ICFEM]
International Conference on Formal Methods (ICFEM)
2009
Checking Z Data Refinements Using Traces Refinement
Didier, André; Farias, Adalberto; Mota, Alexandre
Electronic Notes in Theoretical Computer Science
2009
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs
BERTOLINI, CRISTIANO; PERES, GLAUCIA; D'AMORIM, MARCELO; Mota, Alexandre
[ICST]
2009 International Conference on Software Testing Verification and Validation (ICST)
2009
A Mechanized Strategy for Safe Abstraction of CSP Specifications
Damasceno, Adriana; Farias, Adalberto; MOTA, A.; MOTA, A.
[SBMF]
Brazilian Symposium on Formal Methods
2009
Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings
REBÊLO, H.; LIMA, R.; CORNÉLIO, M.; LEAVENS, G.; MOTA, A.; OLIVEIRA, C.
[SBLP]
Simpósio Brasileiro de Linguagens de Programação
2008
Viewing CSP Specifications with UML-RT Diagrams
FERREIRA, PATRÍCIA; Sampaio, Augusto; Mota, Alexandre
Electronic Notes in Theoretical Computer Science
2008
Unificando Modelos de Casos de Teste e de Requisitos
SOUZA, C.; PERES, G.; MOTA, A.
Revista IEEE América Latina
2008
Compositional abstraction ofCSP Z processes
FARIAS, A.; MOTA, A.; SAMPAIO, A.
Journal of the Brazilian Computer Society (Impresso)
2008
Using Refinement Checking as System Testing
BERTOLINI, C.; MOTA, A.
XI Iberoamerican Workshop on Requirements Engineering and Software Environments
2008
IDEAS05: Unifying Models of Test Cases and Requirements
FEITOSA, CLELIO; PERES, GLAUCIA; Mota, Alexandre
Revista IEEE América Latina
2008
Framework composition conformance via refinement checking
Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre
[SAC]
the 2008 ACM symposium
2008
Guided Test Generation from CSP Models
NOGUEIRA, S.; SAMPAIO, A.; MOTA, A.
[ICTAC]
ICTAC - International Colloquium on Theoretical Aspects of Computing
2008
Uma Estratégia para teste de Conformidade Automático em Sistemas Embarcados (Qualis C)
BERTOLINI, C.; MOTA, A.
Revista IEEE América Latina
2007
Integrating UML and Formal Methods
BORGES, R.; MOTA, A.
Electronic Notes in Theoretical Computer Science
2007
Towards Property Oriented Testing
MACHADO, P.; SILVA, D.; MOTA, A.
Electronic Notes in Theoretical Computer Science
2007
A Tool to Translate CSP Models into English Requirements
PERES, G.; MOTA, A.
II Encontro Brasileiro de Teste de Software
2006
Transformation Laws for UML-RT
RAMOS, R.; Sampaio, Augusto; MOTA, A.; MOTA, A.
International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
2006
Viewing CSP specifications with UML-RT diagrams
FERREIRA, P.; SAMPAIO, A.; MOTA, A.
[SBMF]
Simpósio Brasileiro de Métodos Formais
2005
A Semantics for UML-RT Active Classes via Mapping into Circus
Ramos, Rodrigo; Sampaio, Augusto; MOTA, A.; MOTA, A.
International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
2005
Proving aspect-oriented programming laws
COLE, L.; BORBA, P.; MOTA, A.
Foundations of Aspect-Oriented Languages
2005
Integrando UML e Métodos Formais
BORGES, R.; MOTA, A.
Simpósio Brasileiro de Métodos Formais
2004
Class and Capsule Refinement in UML for Real Time
SAMPAIO, A.; MOTA, A.; RAMOS, R.
Electronic Notes in Theoretical Computer Science
2004
Efficient CSPZ Data Abstraction
Farias, Adalberto; MOTA, A.; MOTA, A.; Sampaio, Augusto
[IFM]
International Conference on Integrated Formal Methods (IFM)
2003
A Support Tool for CSPZ Data Abstraction
MOTA, A.; FARIAS, A.; SAMPAIO, A.
[FM]
FORMAL METHODS EUROPE
2002
Model Checking CSPz: Techniques to Overcome State Explosion
MOTA, A.; SAMPAIO, A.; BORBA, P.
SOCIEDADE BRASILEIRA DE COMPUTAÇÃO
2002
Mechanical Abstraction of CSPz Processes
MOTA, A.; BORBA, P.; SAMPAIO, A.
FORMAL METHODS EUROPE
2002
Efficient Analysis of Infinite CSPZ Processes
MOTA, A.; FARIAS, A.; SAMPAIO, A.
Workshop de Métodos Formais
2001
De CSPz para CSPm: Uma ferramenta transformacional Java
MOTA, A.; FARIAS, A.; SAMPAIO, A.
Workshop de Métodos Formais
2001
Model-checking CSP-Z: strategy, tool support and industrial application
MOTA, A.; SAMPAIO, A.
Science of Computer Programming (Print)
1998
Model Checking CSPz
MOTA, A.; SAMPAIO, A.
European Joint Conferences on the Theory and Practice of Software
1998
Model Checking Processes with States: An Industrial Case Study
MOTA, A.; SAMPAIO, A.
[SBES]
SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE
Publicações
2025
Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts
Mota, Alexandre; VILLARIM, MANOEL; IYODA, JULIANO; CORNÉLIO, MÁRCIO
JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT
2024
Improving Android app exploratory testing with UI test cases using code change analysis
REIS, JACINTO; Mota, Alexandre
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING (PRINT)
2024
The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces
CORREIA, ALEXANDRE R. S.; IYODA, JULIANO M.; MOTA, ALEXANDRE C.
SOFTWARE-PRACTICE & EXPERIENCE
2023
Assessor Models with a Reject Option for Soccer Result Prediction
DA COSTA, DANIEL C.; PRUDÊNCIO, RICARDO; Mota, Alexandre
[ICMLA]
2023 International Conference on Machine Learning and Applications (ICMLA)
2023
Machine Learning Techniques for Escaped Defect Analysis in Software Testing
NASCIMENTO, LIDIA PERSIDE GOMES; PRUDÊNCIO, RICARDO BASTOS CAVALCANTE; MOTA, ALEXANDRE CABRAL; FILHO, AUDIR DE ARAUJO PAIVA; CRUZ, PEDRO HENRIQUE ALVES; OLIVEIRA, DANIEL CARDOSO COELHO ALVES DE; MOREIRA, PEDRO RONCOLI SARMET
[SAST]
SAST 2023: 8th Brazilian Symposium on Systematic and Automated Software Testing
2021
UI Test case prioritization on an industrial setting: A search for the best criteria
Magalhães, C.; MOTA, A.; MOTA, A.; Momenté, L.
SOFTWARE QUALITY JOURNAL (ONLINE)
2021
A family of multi-concept program synthesisers in Alloy-
CORREIA, ALEXANDRE; IYODA, JULIANO; Mota, Alexandre
SCIENCE OF COMPUTER PROGRAMMING
2021
The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs
CORREIA, ALEXANDRE R. S.; IYODA, JULIANO M.; MOTA, ALEXANDRE C.
SOFTWARE: PRACTICE AND EXPERIENCE
2020
Combining model finder and genetic programming into a general purpose automatic program synthesizer
CORREIA, ALEXANDRE; IYODA, JULIANO; Mota, Alexandre
INFORMATION PROCESSING LETTERS
2020
HSP: A hybrid selection and prioritisation of regression test cases based on information retrieval and code coverage applied on an industrial case study
MAGALHÃES, CLAUDIO; ANDRADE, JOÃO; PERRUSI, LUCAS; Mota, Alexandre; BARROS, FLÁVIA; MAIA, ELIOT
JOURNAL OF SYSTEMS AND SOFTWARE
2018
Analyzing Cleaning Robots using Probabilistic Model Checking
Araújo, R.; MOTA, A.; MOTA, A.; NOGUEIRA, S.
Theory and Application of Reuse, Integration, and Data Science (Book Chapter)
2018
Aiding exploratory testing with pruned GUI models
REIS, J.; MOTA, A.; MOTA, A.
INFORMATION PROCESSING LETTERS
2018
SPt: a text mining process to extract relevant areas from SW documents to exploratory tests
Lima, C.; F. Barros; MOTA, A.; MOTA, A.; Santos, I.
[BRACIS]
Brazilian Conference on Intelligent Systems
2018
The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser
MOTA, A.; MOTA, A.
Brazilian Symposium on Formal Methods (DOI: 10.1007/978-3-030-03044-5)
2018
Analysing RoboChart with Probabilities
CONSERVA FILHO, M.; Marinho, R.; MOTA, A.; MOTA, A.; Woodcock, Jim
[SBMF]
Brazilian Symposium on Formal Methods
2017
Feasibility of using Source Code Changes on the Selection of Text-based Regression Test Cases
ARAÚJO, JOELSON; ARAÚJO, JAEDSON; MAGALHÃES, CLÁUDIO; ANDRADE, JOÃO; Mota, Alexandre
[SAST]
the 2nd Brazilian Symposium
2017
Evaluating an Automatic Text-based Test Case Selection using a Non-Instrumented Code Coverage Analysis
MAGALHÃES, CLAUDIO; ANDRADE, JOÃO; PERRUSI, LUCAS; Mota, Alexandre
[SAST]
the 2nd Brazilian Symposium
2017
Probabilistic Analysis Applied to Cleaning Robots
ARAUJO, RAFAEL PEREIRA DE; MOTA, ALEXANDRE CABRAL; NOGUEIRA, SIDNEY DE CARVALHO
[IRI]
2017 IEEE International Conference on Information Reuse and Integration (IRI)
2016
Model Checking Requirements
Barza, Sérgio; CARVALHO, GUSTAVO; IYODA, j.; Sampaio, Augusto; MOTA, A.; MOTA, A.; BARROS, FLÁVIA
[SBMF]
Brazilian Symposium on Formal Methods
2016
Verifying Transformations of Java Programs Using Alloy
Dias, T.; Sampaio, Augusto; MOTA, A.; MOTA, A.
[SBMF]
Brazilian Symposium on Formal Methods
2016
An algebra of temporal faults
Didier, André; Mota, Alexandre
Information Systems Frontiers (Print)
2016
An Approach for Verifying Educational Robots
NOGUEIRA, SIDNEY; Falcão, Taciana Pontual; MOTA, A.; MOTA, A.; Oliveira, Emanuel; Pereira, Iverson
[SBMF]
Brazilian Symposium on Formal Methods
2016
Automatic Selection of Test Cases for Regression Testing
MAGALHÃES, CLÁUDIO; BARROS, FLÁVIA; Mota, Alexandre; MAIA, ELIOT
[SAST]
the 1st Brazilian Symposium
2016
Automatically Finding Hidden Industrial Criteria used in Test Selection
MAGALHÃES, CLÁUDIO; Mota, Alexandre; MAIA, ELIOT
The 28th International Conference on Software Engineering and Knowledge Engineering
2016
Rigorous development of component-based systems using component metadata and patterns
OLIVEIRA, M. V. M.; ANTONINO, P.; RAMOS, R.; SAMPAIO, A. C. A.; MOTA, A.; ROSCOE, A. W.
Formal Aspects of Computing
2016
Program Synthesis by Model Finding
Mota, Alexandre; IYODA, JULIANO; MARANHÃO, HEITOR
Information Processing Letters (Print)
2015
Model checking CML: tool development and industrial applications
MOTA, A.; FARIAS, A.; WOODCOCK, J.; LARSEN, P. G.
Formal Aspects of Computing
2015
A Lattice-Based Representation of Temporal Failures
DIDIER, ANDRE LUIS RIBEIRO; Mota, Alexandre
[IRI]
2015 IEEE International Conference on Information Reuse and Integration (IRI)
2014
NAT2TEST$_{SCR}$: Test case generation from natural language requirements based on SCR specifications
CARVALHO, GUSTAVO; Digo Falcão; F. Barros; SAMPAIO, A. C. A.; MOTA, A.; MOTTA, LEONARDO; BLACKBURN, MARK
Science of Computer Programming (Print)
2014
Sound and mechanised compositional verification of input-output conformance
SAMPAIO, A. C. A.; Nogueira, Sidney; MOTA, A.; ISOBE, YOSHINAO
Software Testing, Verification & Reliability
2014
Rapid Prototyping of a Semantically Well Founded Circus Model Checker
MOTA, A.; MOTA, A.; Farias, Adalberto; DIDIER, ANDRE; Woodcock, Jim
[SEFM]
Software Engineering and Formal Methods (SEFM 2014)
2013
QUANTIFYING THE EFFECTS OF ASPECTUAL DECOMPOSITIONS ON DESIGN BY CONTRACT MODULARIZATION: A MAINTENANCE STUDY
REBÊLO, Henrique; MOTA, A.; LIMA, R. M. F.; KULESZA, U.; RIBEIRO, Márcio; Yuanfang Cai; COELHO, R. S.; SANT`ANNA, Cláudio
International Journal of Software Engineering and Knowledge Engineering
2013
Implementing an SMT-based Model Checker for CSP from its Operational Semantics
MOTA, A.; MOTA, A.; FARIAS, A.
Simpósio Brasileiro de Métodos Formais
2013
Model-based development of fault tolerant systems of systems
ANDREWS, ZOE; PAYNE, RICHARD; ROMANOVSKY, ALEXANDER; DIDIER, ANDRE; Mota, Alexandre
2013 7th Annual IEEE Systems Conference (SysCon)
2013
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
CARVALHO, GUSTAVO; Sampaio, Augusto; MOTA, A.; MOTA, A.
[ICFEM]
International Conference on Formal Engineering Methods (ICFEM 2013)
2013
Simulink Timed Models for Program Verification
Cavalcanti, Ana; MOTA, A.; MOTA, A.; Woodcock, Jim
Theories of Programming and Formal Methods
2013
Creating GUI-based DSL formal tools
SILVA, ROBSON; Mota, Alexandre; STARR, RODRIGO RIZZI
[IRI]
2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)
2013
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study
REBÊLO, Henrique; LIMA, RICARDO; LEAVENS, GARY T.; CORNÉLIO, MÁRCIO; Mota, Alexandre; OLIVEIRA, CÉSAR
Science of Computer Programming (Print)
2012
Constructive model-based analysis for safety assessment
Gomes, Adriano; MOTA, A.; SAMPAIO, A. C. A.; Sampaio, Augusto; Ferri, Felipe; Watanabe, Edson
International Journal on Software Tools for Technology Transfer (Internet)
2012
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
CARVALHO, GUSTAVO; FALCÃO, DIOGO; MOTA, A.; MOTA, A.; Sampaio, Augusto
[SBMF]
Brazilian Symposium on Formal Methods
2012
From SCR to SCADE
Costa, M.; MOTA, A.; MOTA, A.
Simpósio Brasileiro de Métodos Formais
2012
Test generation from state based use case models
NOGUEIRA, SIDNEY; Sampaio, Augusto; Mota, Alexandre
Formal Aspects of Computing
2012
Identifying Hardware Failures Systematically
DIDIER, ANDRE; MOTA, A.; MOTA, A.
[SBMF]
Brazilian Symposium on Formal Methods
2011
Architectural Verification of Control Systems Using CSP
Jesus, Joabe; MOTA, A.; MOTA, A.; Sampaio, Augusto; Grijo, Luiz
[ICFEM]
International Conference on Formal Methods (ICFEM)
2011
Analytical Comparison of Refinement Checkers
Carvalho, G.; Dias, T.; MOTA, A.; MOTA, A.; SAMPAIO, A.
[SBMF]
Brazilian Symposium on Formal Methods
2011
On the interplay of exception handling and design by contract
REBÊLO, Henrique; COELHO, ROBERTA; LIMA, RICARDO; LEAVENS, GARY T.; HUISMAN, MARIEKE; Mota, Alexandre; CASTOR, FERNANDO
the 13th Workshop
2011
An annotation-based approach for JCSP concurrent programming
ARAÚJO, JOSÉ ELIAS; REBÊLO, Henrique; LIMA, RICARDO; Mota, Alexandre; KULESZA, UIRÁ; SANT'ANNA, CLÁUDIO
the 1st workshop
2011
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study
REBÊLO, H.; LIMA, R.; Kuleska, U.; Santanna, C.; Coelho, R.; MOTA, A.; MOTA, A.; Ribeiro, M.
[SEKE]
International Conference on Software Engineering and Knowledge Engineering
2011
Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs
BARBOSA, R.; COSTA, A.; TEDESCO, P.; MOTA, A.; MOTA, A.
Revista de Informática Teórica e Aplicada (Impresso)
2010
The Contract Enforcement Aspect Pattern
REBÊLO, H.; LIMA, R.; Kuleska, U.; Coelho, R.; MOTA, A.; MOTA, A.; Ribeiro, M.
SugarLoafPLop
2010
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking
Gomes, Adriano; MOTA, A.; MOTA, A.; Sampaio, Augusto; Ferri, Felipe; Buzzi, Julio
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
2010
Introducing concurrency in sequential Java via laws
Duarte, Rafael; Mota, Alexandre; Sampaio, Augusto
Information Processing Letters (Print)
2010
Using CSP in the Formal Specification of the Micro-Organizational Level of Multiagent Systems
BARBOSA, R.; COSTA, A.; TEDESCO, P.; MOTA, A.
AT2AI-7
2010
GUI Testing Techniques Evaluation by Designed Experiments
BERTOLINI, CRISTIANO; Mota, Alexandre; ARANHA, EDUARDO; FERRAZ, CRISTIANO
<![CDATA[2010 Third International Conference on Software Testing, Verification and Validation]]>
2010
Evolving a Safe System Design Iteratively
MOTA, A.; JESUS, J.; GOMES, A.; FERRI, F.; WATANABE, E.
The 29th International Conference on Computer Safety, Reliability and Security
2010
Conformance notions for the coordination of interaction components
Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre
Science of Computer Programming (Print)
2010
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis
BERTOLINI, C.; MOTA, A.; ARANHA, E.
[ISSRE]
International Symposium on Software Reliability Engineering
2010
AN ASPECT-BASED APPROACH FOR CONCURRENT PROGRAMMING USING CSP FEATURES
ARAÚJO, J.; REBÊLO, H.; LIMA, R.; MOTA, A.; CASTOR, F.; LIMA, T.; LUCENA, J.; LIMA, F.
5th International Conference on Software and Data Technologies
2009
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques
BERTOLINI, CRISTIANO; Mota, Alexandre
<![CDATA[2009 Seventh IEEE International Conference on Software Engineering and Formal Methods]]>
2009
Systematic Development of Trustworthy Component Systems
Ramos, Rodrigo; Sampaio, Augusto; MOTA, A.; MOTA, A.
[FM]
International Symposium on Formal Methods (FM)
2009
Formalisation and Analysis of Objects as CSP Processes
Kaufman, Renata; Sampaio, Augusto; MOTA, A.; MOTA, A.
[SBMF]
Brazilian Symposium on Formal Methods
2009
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
Sampaio, Augusto; NOGUEIRA, SIDNEY; MOTA, A.; MOTA, A.
[ICFEM]
International Conference on Formal Methods (ICFEM)
2009
Checking Z Data Refinements Using Traces Refinement
Didier, André; Farias, Adalberto; Mota, Alexandre
Electronic Notes in Theoretical Computer Science
2009
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs
BERTOLINI, CRISTIANO; PERES, GLAUCIA; D'AMORIM, MARCELO; Mota, Alexandre
[ICST]
2009 International Conference on Software Testing Verification and Validation (ICST)
2009
A Mechanized Strategy for Safe Abstraction of CSP Specifications
Damasceno, Adriana; Farias, Adalberto; MOTA, A.; MOTA, A.
[SBMF]
Brazilian Symposium on Formal Methods
2009
Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings
REBÊLO, H.; LIMA, R.; CORNÉLIO, M.; LEAVENS, G.; MOTA, A.; OLIVEIRA, C.
[SBLP]
Simpósio Brasileiro de Linguagens de Programação
2008
Viewing CSP Specifications with UML-RT Diagrams
FERREIRA, PATRÍCIA; Sampaio, Augusto; Mota, Alexandre
Electronic Notes in Theoretical Computer Science
2008
Unificando Modelos de Casos de Teste e de Requisitos
SOUZA, C.; PERES, G.; MOTA, A.
Revista IEEE América Latina
2008
Compositional abstraction ofCSP Z processes
FARIAS, A.; MOTA, A.; SAMPAIO, A.
Journal of the Brazilian Computer Society (Impresso)
2008
Using Refinement Checking as System Testing
BERTOLINI, C.; MOTA, A.
XI Iberoamerican Workshop on Requirements Engineering and Software Environments
2008
IDEAS05: Unifying Models of Test Cases and Requirements
FEITOSA, CLELIO; PERES, GLAUCIA; Mota, Alexandre
Revista IEEE América Latina
2008
Framework composition conformance via refinement checking
Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre
[SAC]
the 2008 ACM symposium
2008
Guided Test Generation from CSP Models
NOGUEIRA, S.; SAMPAIO, A.; MOTA, A.
[ICTAC]
ICTAC - International Colloquium on Theoretical Aspects of Computing
2008
Uma Estratégia para teste de Conformidade Automático em Sistemas Embarcados (Qualis C)
BERTOLINI, C.; MOTA, A.
Revista IEEE América Latina
2007
Integrating UML and Formal Methods
BORGES, R.; MOTA, A.
Electronic Notes in Theoretical Computer Science
2007
Towards Property Oriented Testing
MACHADO, P.; SILVA, D.; MOTA, A.
Electronic Notes in Theoretical Computer Science
2007
A Tool to Translate CSP Models into English Requirements
PERES, G.; MOTA, A.
II Encontro Brasileiro de Teste de Software
2006
Transformation Laws for UML-RT
RAMOS, R.; Sampaio, Augusto; MOTA, A.; MOTA, A.
International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
2006
Viewing CSP specifications with UML-RT diagrams
FERREIRA, P.; SAMPAIO, A.; MOTA, A.
[SBMF]
Simpósio Brasileiro de Métodos Formais
2005
A Semantics for UML-RT Active Classes via Mapping into Circus
Ramos, Rodrigo; Sampaio, Augusto; MOTA, A.; MOTA, A.
International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
2005
Proving aspect-oriented programming laws
COLE, L.; BORBA, P.; MOTA, A.
Foundations of Aspect-Oriented Languages
2005
Integrando UML e Métodos Formais
BORGES, R.; MOTA, A.
Simpósio Brasileiro de Métodos Formais
2004
Class and Capsule Refinement in UML for Real Time
SAMPAIO, A.; MOTA, A.; RAMOS, R.
Electronic Notes in Theoretical Computer Science
2004
Efficient CSPZ Data Abstraction
Farias, Adalberto; MOTA, A.; MOTA, A.; Sampaio, Augusto
[IFM]
International Conference on Integrated Formal Methods (IFM)
2003
A Support Tool for CSPZ Data Abstraction
MOTA, A.; FARIAS, A.; SAMPAIO, A.
[FM]
FORMAL METHODS EUROPE
2002
Model Checking CSPz: Techniques to Overcome State Explosion
MOTA, A.; SAMPAIO, A.; BORBA, P.
SOCIEDADE BRASILEIRA DE COMPUTAÇÃO
2002
Mechanical Abstraction of CSPz Processes
MOTA, A.; BORBA, P.; SAMPAIO, A.
FORMAL METHODS EUROPE
2002
Efficient Analysis of Infinite CSPZ Processes
MOTA, A.; FARIAS, A.; SAMPAIO, A.
Workshop de Métodos Formais
2001
De CSPz para CSPm: Uma ferramenta transformacional Java
MOTA, A.; FARIAS, A.; SAMPAIO, A.
Workshop de Métodos Formais
2001
Model-checking CSP-Z: strategy, tool support and industrial application
MOTA, A.; SAMPAIO, A.
Science of Computer Programming (Print)
1998
Model Checking CSPz
MOTA, A.; SAMPAIO, A.
European Joint Conferences on the Theory and Practice of Software
1998
Model Checking Processes with States: An Industrial Case Study
MOTA, A.; SAMPAIO, A.
[SBES]
SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE
acm
Alexandre Cabral Mota
Professor Titular
Processamento e Sintese de midias digitais
Design Thinking
E-mail
acm@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4336
Sala
B210
•
Publicações
Publicações
•
Projetos
Projetos
•
Orientações Acadêmicas
Orientações
acm
Alexandre Cabral Mota
Professor Titular
Processamento e Sintese de midias digitais
Design Thinking
E-mail
acm@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4336
Sala
B210
•
Publicações
Publicações
•
Projetos
Projetos
•
Orientações Acadêmicas
Orientações
