Alexandre Cabral Mota

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 5

Top Topics

Distance Metric

Imperative Programs

Software Testing

Nearest Neighbor Classification

Top Venues

Softw. Pract. Exp.

Formal Aspects Comput.

Publications

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) (2024)
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)
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) (2022)
Rafael Pereira de Araujo, Alexandre Cabral Mota, Sidney de Carvalho Nogueira
Probabilistic Analysis Applied to Cleaning Robots. IRI (2017)
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) (2016)
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) (2010)
Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio
Compositional Abstraction of CSPZ Processes. J. Braz. Comput. Soc. 14 (2) (2008)
Rafael Magalhães Borges, Alexandre Cabral Mota
Integrating UML and Formal Methods. Electron. Notes Theor. Comput. Sci. 184 (2007)