![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Alexandre Mota 0001
Person information
- affiliation: Federal University of Pernambuco, Recife, Brazil
Other persons with the same name
- Alexandre Mota 0002
(aka: Alexandre Manuel Mota) — University of Aveiro, IEETA, Portugal
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j22]Alexandre R. S. Correia
, Juliano Manabu Iyoda, Alexandre Cabral Mota:
The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces. Softw. Pract. Exp. 54(3): 528-540 (2024) - 2023
- [c61]Daniel C. Da Costa, Ricardo B. C. Prudêncio, Alexandre Mota:
Assessor Models with a Reject Option for Soccer Result Prediction. ICMLA 2023: 1200-1205 - [c60]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
:
Machine Learning Techniques for Escaped Defect Analysis in Software Testing. SAST 2023: 47-53 - [i1]Alexandre Mota, Fei Yang, Cristiano Teixeira:
Formally Verifying a Real World Smart Contract. CoRR abs/2307.02325 (2023) - 2022
- [j21]Alexandre R. S. Correia
, Juliano Manabu Iyoda
, Alexandre Cabral Mota:
The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs. Softw. Pract. Exp. 52(5): 1294-1304 (2022) - 2021
- [j20]Alexandre R. S. Correia
, Juliano Iyoda
, Alexandre Mota
:
A family of multi-concept program synthesisers in Alloy⁎. Sci. Comput. Program. 201: 102536 (2021) - [j19]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): 381-403 (2021) - 2020
- [j18]Alexandre R. S. Correia, Juliano Iyoda
, Alexandre Mota:
Combining model finder and genetic programming into a general purpose automatic program synthesizer. Inf. Process. Lett. 154 (2020) - [j17]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)
2010 – 2019
- 2019
- [c59]Jim Woodcock
, Ana Cavalcanti
, Simon Foster
, Alexandre Mota
, Kangfeng Ye
:
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP 2019: 80-105 - 2018
- [j16]Jacinto F. S. Reis
, Alexandre Mota:
Aiding exploratory testing with pruned GUI models. Inf. Process. Lett. 133: 49-55 (2018) - [c58]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: 254-259 - [c57]Alexandre Mota:
The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser. SBMF 2018: 1-4 - [c56]Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock
:
Analysing RoboChart with Probabilities. SBMF 2018: 198-214 - 2017
- [c55]Rafael Pereira de Araujo, Alexandre Cabral Mota, Sidney de Carvalho Nogueira:
Probabilistic Analysis Applied to Cleaning Robots. IRI 2017: 275-282 - [c54]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: 5:1-5:9 - [c53]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: 8:1-8:6 - 2016
- [j15]Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe:
Rigorous development of component-based systems using component metadata and patterns. Formal Aspects Comput. 28(6): 937-1004 (2016) - [j14]Alexandre Mota
, Juliano Iyoda, Heitor Maranhão:
Program synthesis by model finding. Inf. Process. Lett. 116(11): 701-705 (2016) - [j13]André Didier, Alexandre Mota:
An algebra of temporal faults. Inf. Syst. Frontiers 18(5): 967-980 (2016) - [c52]Cláudio Magalhães, Flávia A. Barros, Alexandre Mota, Eliot Maia:
Automatic Selection of Test Cases for Regression Testing. SAST 2016: 8:1-8:8 - [c51]Sidney C. Nogueira, Taciana Pontual Falcão
, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira:
An Approach for Verifying Educational Robots. SBMF 2016: 59-77 - [c50]Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros:
Model Checking Requirements. SBMF 2016: 217-234 - [c49]Cláudio Magalhães, Alexandre Mota, Eliot Maia:
Automatically Finding Hidden Industrial Criteria used in Test Selection. SEKE 2016: 470-473 - 2015
- [j12]Alexandre Mota, Adalberto Farias, Jim Woodcock
, Peter Gorm Larsen
:
Model checking CML: tool development and industrial applications. Formal Aspects Comput. 27(5-6): 975-1001 (2015) - [c48]André Luis Ribeiro Didier, Alexandre Mota:
A Lattice-Based Representation of Temporal Failures. IRI 2015: 295-302 - [c47]Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota:
Verifying Transformations of Java Programs Using Alloy. SBMF 2015: 110-126 - [c46]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: 283-290 - 2014
- [j11]Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota:
Test generation from state based use case models. Formal Aspects Comput. 26(3): 441-490 (2014) - [j10]Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota
, Leonardo Motta, Mark R. Blackburn:
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95: 275-297 (2014) - [j9]Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe
:
Sound and mechanised compositional verification of input-output conformance. Softw. Test. Verification Reliab. 24(4): 289-319 (2014) - [c45]Alexandre Mota, Adalberto Farias, André Didier
, Jim Woodcock
:
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. SEFM 2014: 235-249 - 2013
- [j8]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): 913-942 (2013) - [j7]Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. de Oliveira:
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Sci. Comput. Program. 78(8): 1137-1156 (2013) - [c44]Ana Cavalcanti
, Alexandre Mota, Jim Woodcock
:
Simulink Timed Models for Program Verification. Theories of Programming and Formal Methods 2013: 82-99 - [c43]Gustavo Carvalho, Augusto Sampaio, Alexandre Mota:
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. ICFEM 2013: 148-164 - [c42]Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr:
Formal MDE-Based Tool Development. IRI (best papers) 2013: 105-125 - [c41]Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr:
Creating GUI-based DSL formal tools. IRI 2013: 520-527 - [c40]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: 1217-1222 - [c39]Zoe Andrews, Richard John Payne, Alexander B. Romanovsky
, André Didier
, Alexandre Mota:
Model-based development of fault tolerant systems of systems. SysCon 2013: 356-363 - 2012
- [j6]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): 673-702 (2012) - [c38]Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio:
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. SBMF 2012: 67-82 - [c37]André Didier
, Alexandre Mota:
Identifying Hardware Failures Systematically. SBMF 2012: 115-130 - [c36]Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro:
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. SEKE 2012: 148-153 - [c35]Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro:
Checking Contracts for AOP using XPIDRs. SEKE 2012 - 2011
- [j5]Rafael M. Duarte, Alexandre Mota, Augusto Sampaio:
Introducing concurrency in sequential Java via laws. Inf. Process. Lett. 111(3): 129-134 (2011) - [c34]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: 7-11 - [c33]Paulo S. Ruiz Del Aguila, Robson do Nascimento Fidalgo, Alexandre Mota:
Towards a more straightforward and more expressive metamodel for SDW modeling. DOLAP 2011: 31-36 - [c32]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: 7:1-7:6 - [c31]Joabe Jesus
, Alexandre Mota, Augusto Sampaio, Luiz Grijo:
Architectural Verification of Control Systems Using CSP. ICFEM 2011: 323-339 - [c30]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:
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. SEKE 2011: 450-455 - 2010
- [j4]Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa, Patrícia Cabral de Azevedo Restelli Tedesco, Alexandre Cabral Mota:
Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs. RITA 17(3): 389-411 (2010) - [j3]Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Conformance notions for the coordination of interaction components. Sci. Comput. Program. 75(5): 350-373 (2010) - [c29]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: 226-231 - [c28]Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz:
GUI Testing Techniques Evaluation by Designed Experiments. ICST 2010: 235-244 - [c27]Cristiano Bertolini, Alexandre Mota:
A Framework for GUI Testing Based on Use Case Design. ICST Workshops 2010: 252-259 - [c26]Adriano Gomes
, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi:
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. ISoLA (1) 2010: 625-639 - [c25]Cristiano Bertolini, Alexandre Mota, Eduardo Aranha:
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis. ISSRE 2010: 319-328 - [c24]Alexandre Mota, Joabe Jesus
, Adriano Gomes
, Felipe Ferri, Edson H. Watanabe:
Evolving a Safe System Design Iteratively. SAFECOMP 2010: 361-374 - [c23]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: 6:1-6:14
2000 – 2009
- 2009
- [c22]Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Systematic Development of Trustworthy Component Systems. FM 2009: 140-156 - [c21]Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota:
Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM 2009: 20-48 - [c20]Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim
, Alexandre Mota:
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. ICST 2009: 21-30 - [c19]Adriana Damasceno, Adalberto Farias, Alexandre Mota:
A Mechanized Strategy for Safe Abstraction of CSP Specifications. SBMF 2009: 118-133 - [c18]Renata Kaufman, Augusto Sampaio, Alexandre Mota:
Formalisation and Analysis of Objects as CSP Processes. SBMF 2009: 236-250 - [c17]Cristiano Bertolini, Alexandre Mota:
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. SEFM 2009: 115-124 - 2008
- [j2]Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio:
Compositional Abstraction of CSPZ Processes. J. Braz. Comput. Soc. 14(2): 23-44 (2008) - [c16]Cristiano Bertolini, Alexandre Mota:
Using Refinement Checking as System Testing. CIbSE 2008: 17-30 - [c15]Clélio Feitosa, Glaucia Peres, Alexandre Mota:
Unifying Models of Test Cases and Requirements. CIbSE 2008: 113-126 - [c14]Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota:
Guided Test Generation from CSP Models. ICTAC 2008: 258-273 - [c13]Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Framework composition conformance via refinement checking. SAC 2008: 119-125 - [c12]André Didier
, Adalberto Farias, Alexandre Mota:
Checking Z Data Refinements Using Traces Refinement. SBMF 2008: 129-148 - 2006
- [c11]Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Transformation Laws for UML-RT. FMOODS 2006: 123-137 - [c10]Patrícia Ferreira, Augusto Sampaio, Alexandre Mota:
Viewing CSP Specifications with UML-RT Diagrams. SBMF 2006: 57-74 - 2005
- [c9]Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
A Semantics for UML-RT Active Classes via Mapping into Circus. FMOODS 2005: 99-114 - [c8]Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota:
Towards Property Oriented Testing. SBMF 2005: 3-19 - [c7]Rafael Magalhães Borges, Alexandre Cabral Mota:
Integrating UML and Formal Methods. SBMF 2005: 97-112 - [e1]Alexandre Mota, Arnaldo V. Moura:
Proceedings of the Seventh Brazilian Symposium on Formal Methods, SBMF 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004. Electronic Notes in Theoretical Computer Science 130, Elsevier 2005 [contents] - 2004
- [c6]Adalberto Farias, Alexandre Mota, Augusto Sampaio:
Efficient CSPZ Data Abstraction. IFM 2004: 108-127 - [c5]Alexandre Mota, Arnaldo V. Moura:
Preface. SBMF 2004: 1-2 - 2003
- [c4]Augusto Sampaio, Alexandre Mota, Rodrigo Ramos:
Class and Capsule Refinement in UML for Real Time. WMF 2003: 23-51 - 2002
- [c3]Alexandre Mota, Paulo Borba, Augusto Sampaio:
Mechanical Abstraction of CSPZ Processes. FME 2002: 163-183 - 2001
- [j1]Alexandre Mota, Augusto Sampaio:
Model-checking CSP-Z: strategy, tool support and industrial application. Sci. Comput. Program. 40(1): 59-96 (2001)
1990 – 1999
- 1998
- [c2]Alexandre Mota, Augusto Sampaio:
Model-Checking CSP-Z. FASE 1998: 205-220 - [c1]Alexandre Mota, Augusto Sampaio:
Model-Checking Processes with States: An Industrial Case Study. SBES 1998: 23-36
Coauthor Index
aka: Ricardo M. F. Lima
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-13 20:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint