Alexandre Mota

79 papers A 3B 7C 10Misc 4Journal 20Unranked 34

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