Brazilian Symposium on Systematic and Automated Software Testing (SAST) - Accepted Papers

Industry Paper

Sep 08, 12:15 PM

Cassiopeia: A Retrieval-Augmented Generation Tool for Automated Test-Case Creation
Industry Paper

Flavia Camila Morais de Oliveira <flavia.oliveira@sidia.com>, Leonardo Tiago <leonardo.albuquerque@sidia.com>, Lennon Chaves <lennon@icomp.ufam.edu.br>

Sep 08, 12:15 PM

BitcoinFuzz: Differential Fuzzing of Bitcoin and Lightning Network Implementations
Industry Paper

Bruno Ely Reis Garcia <bruno.erg@usp.br>, Erick Cestari <erickcestari03@gmail.com>

Sep 08, 06:00 PM

Otimização da Geração de Casos de Teste em Aplicativos Móveis via Aprendizado por Reforço e Agentes de IA
Industry Paper

Mailton Farias <mvf2@icomp.ufam.edu.br>, Mateus Luiz de Oliveira Souza <mateus.souza@indt.org.br>, Letícia dos Santos <leticia.santos@icomp.ufam.edu.br>, Ana Caroline Gomes <ana.gomes@icomp.ufam.edu.br>, Suelen Pereira <suelen.pereira@icomp.ufam.edu.br>, Eliane Collins <eliane.collins@indt.org.br>

Sep 08, 06:00 PM

Leveraging Generative AI to Support Functional Test Case Specification in a Public Sector Software System
Industry Paper

Aline Lima de Souza <limaals@cos.ufrj.br>, Jessica Soares da Costa <jessicacosta@cos.ufrj.br>, Rebeca Motta <rcmotta@ic.uff.br>, Elaine Nunes <elainenunes@cos.ufrj.br>, Gustavo Rocha Barreto Pinto <grbpinto@cos.ufrj.br>, Rafael Maiani de Mello <rafaelmello@ic.ufrj.br>

Sep 08, 06:00 PM

Mutation Testing in the Wild: Challenges and Lessons from Bitcoin Core
Industry Paper

Bruno Ely Reis Garcia <bruno.erg@usp.br>, Erick Cestari <erickcestari03@gmail.com>

Sep 08, 06:09 PM

Automating Bug Analysis in Regulatory Information Requirements Using AI Agents
Industry Paper

WENDELL MARQUES <wendellmarques359@gmail.com>, Cainã Oliveira <csoliveira01@gmail.com>, Edluce Leitão Veras <edluce.ed@gmail.com>, Thiago Henrique Fragata <thiago.fragata@samsung.com>, Eduardo Peluchi de Oliveira Filho <eduardopeluchi@outlook.com>

Sep 08, 06:09 PM

SideForge: Evolving Functional Tests Automation in the Public Sector
Industry Paper

Alexandre Almeida de Oliveira <aaoliveira@cos.ufrj.br>, Rebeca Motta <rcmotta@ic.uff.br>, Elaine Nunes <elainenunes@cos.ufrj.br>, Gustavo Rocha Barreto Pinto <grbpinto@cos.ufrj.br>, Rafael Maiani de Mello <rafaelmello@ic.ufrj.br>

Sep 08, 06:09 PM

Testes Funcionais Automatizados como Fonte para Geração Automatizada de Manuais de Usuário no Instituto Mineiro de Agropecuária
Industry Paper

L. Kennedy Turola <luis.turola@estudante.ufla.br>, João Victor de Morais <joaomorais.ti@fundecc.org.br>, Ricardo Terra <terra@ufla.br>

Sep 08, 06:18 PM

Relato de Experiência: Arquitetura de Testes e Validação Semântica para um Sistema RAG no Setor Público
Industry Paper

icaro de oliveira <icaro.santos@aluno.uece.br>, Felipe Rodrigues de Oliveira <felipeo.rodrigues@aluno.uece.br>, Ismayle Santos <ismayle.santos@uece.br>

Sep 08, 06:18 PM

Identificando Lacunas de Competências para Cloud Testing: Um Relato da Indústria de Software
Industry Paper

Nayane Alves <nayane.alves@eldorado.org.br>, Jose Alves <jose.alves@eldorado.org.br>, PAULA PAVAO <paula.pavao@eldorado.org.br>

Research Paper

Sep 08, 11:00 AM

Threshold Mutation Operators for Test Data Selection Applied to Machine Learning Testing
Research Paper

Waisman Braga <waismanfb@gmail.com>, Marcio Delamaro <delamaro@icmc.usp.br>, Simone do Rocio Senger Souza <srocio@icmc.usp.br>

Sep 08, 11:00 AM

Assessing Postcondition Completeness in Auto-Generated Function Contracts for Software Verification
Research Paper

Caio Vinícius Pereira Silveira <caiovpsilveira@gmail.com>, Mateus Tymburibá <mateustymbu@cefetmg.br>

Sep 08, 11:15 AM

Fidelity Is Not Effectiveness: Limits of Mutation Score in LLM-Inferred Mealy Machines
Research Paper

Alecsander Gonçalves de Matos <alecsander.tec@gmail.com>, Simone do Rocio Senger Souza <srocio@icmc.usp.br>, Marcio Delamaro <delamaro@icmc.usp.br>

Sep 08, 11:15 AM

Investigating Cognitive Demands in Software Testing Activities: An EEG-Based Experimental Study
Research Paper

Roselane Farias <silva.roselane@ufba.br>, Dhyego Tavares <dhyegocruz@ufba.br>, José Garcia Vivas Miranda <viva@ufba.br>, Eduardo Almeida <esa@rise.com.br>

Sep 08, 11:30 AM

LLM-Pyro: LLM-Based Mutation Testing with Equivalence Triage for Python
Research Paper

Victor Manuel Chang <victormanuelchang@gmail.com>, Marcelo Manoel de Lima Filho <marcelolimafilho144@gmail.com>, Awdren de Lima Fontão <awdrenfontao@gmail.com>

Sep 08, 11:30 AM

Can LLMs Detect and Refactor Test Smells in Performance Tests?
Research Paper

Adelson José de Ornellas Filho <ornellasfilho88@live.com>, Manoel Aranda III <mpat@ic.ufal.br>, Marcio Ribeiro <marcio@ic.ufal.br>, Samira Santos da Silva <samirapgti@gmail.com>, Rohit Gheyi <rohit@dsc.ufcg.edu.br>, Baldoino Fonseca <baldoino@ic.ufal.br>, Ivan C Machado <ivanmachado@gmail.com>

Sep 08, 11:45 AM

Detecção de Mutantes Equivalentes com MutantBench: Uma Replicação Experimental e Avaliação de Baselines Supervisionados
Research Paper

Vinicius Nunez <viniciuslopes.vn@gmail.com>, Maicon Bernardino <bernardino@acm.org>, Elder Macedo Rodrigues <eldermr@gmail.com>

Sep 08, 11:45 AM

Can LLMs Write Your Tests? Evaluating Automated ISO/IEC 25010-Based Test Generation for VR Metaverse Environments
Research Paper

João Vitor Sigliani Azevêdo <joaosigliani@gmail.com>, Alana Agne Brandao Rocha <alanaagne0@gmail.com>, Erica Meire Prates Ferreira <ericameirepratesferreira@gmail.com>, Guilherme Prado Silva <202211130001@ifba.edu.br>, José Alberto Diaz Amado <jose_diaz@ifba.edu.br>, Carina Santos Silveira <csssilveira@ufba.br>, France Ferreira de Souza Arnaut <francearnaut@ifba.edu.br>, Rosângela Accioly Correia <ranaaccioly@yahoo.com.br>, Andrea de Matos Machado <andreamachado3d@gmail.com>, Crescencio Lima <crescencio@gmail.com>

Sep 08, 12:00 PM

AutoMutSec: Mutation Testing for Authorization Policies in Spring Security
Research Paper

Caio Jhonatan Alves Pereira <caio.jhonatan.pereira@ccc.ufcg.edu.br>, Everton L.G. Alves <everton@computacao.ufcg.edu.br>

Sep 08, 12:00 PM

Teste de Mutação em System Prompts para Avaliação de Conjuntos de Testes de Chatbots Baseados em LLMs
Research Paper

Carlos Eduardo Chiarella Braga <carlos.braga@discente.ufg.br>, Sofia Costa Paiva <sofialarissa@ufg.br>

Sep 08, 04:30 PM

Aplicando Ferramentas SAST com IA Gratuitas em uma Ferramenta de Ensino de Gestão de Projetos - Um Benchmarking
Research Paper

Dionas Luan Müller <dionasmuller.aluno@unipampa.edu.br>, Matheus Fialho <matheuslf25@gmail.com>, Maicon Bernardino <bernardino@acm.org>, Elder Macedo Rodrigues <eldermr@gmail.com>

Sep 08, 04:30 PM

NoseSense: Benchmarking LLMs for Test Smell Detection
Research Paper

Magno Macedo Miranda <magnomiranda@ufba.br>, Lucas Lopes Fraga <lucasfraga884@gmail.com>, Letícia Barreto <leticiabarreto@ufba.br>, Tassio Guerreiro Antunes Virginio <tassiovirginio@gmail.com>, Marcio Ribeiro <marcio@ic.ufal.br>, Ivan C Machado <ivanmachado@gmail.com>

Sep 08, 04:30 PM

Rubrica Analítica para Avaliação de Artefatos de Teste de Desempenho Gerados por LLMs: Um Estudo Exploratório
Research Paper

Lucie Grillo <luciegrilloaq@gmail.com>, Graziela Espindola <grazielaespindola82@gmail.com>, Maicon Bernardino <bernardino@acm.org>, Elder Macedo Rodrigues <eldermr@gmail.com>

Sep 08, 04:45 PM

Cronos: Automating Bug Report Validation with LLMs using RAG Approach
Research Paper

Alay Nascimento <alay.nascimento@sidia.com>, Ana Paula Silva <silva.ana@sidia.com>, Lennon Chaves <lennon@icomp.ufam.edu.br>

Sep 08, 04:45 PM

Test Smells through the Lens of the Dart Community: A Mixed-Methods Study on Grey Literature and Developer Perceptions
Research Paper

Eronildo José da Silva Junior <eronildosilva@ufba.br>, Rafael Vieira <mouravieira44@gmail.com>, Paloma Passos <palomabcp@ufba.br>, Paulo Cerqueira <paulocer@gmail.com>, Tássio Vírginio <tassio.virginio@ufba.br>, Antonio Rito <Rito.Silva@tecnico.ulisboa.pt>, Ivan C Machado <ivanmachado@gmail.com>

Sep 08, 04:45 PM

Investigando o Impacto da Conteinerização, Orquestração e Infraestrutura de Nuvem na Reprodutibilidade de Testes de Desempenho
Research Paper

Eduardo dos Santos Paim <eduardopaim.aluno@unipampa.edu.br>, Gabriel Gonsalez <gabrielgonsalez.aluno@unipampa.edu.br>, Elder Macedo Rodrigues <eldermr@gmail.com>

Sep 08, 05:00 PM

Do SAST Alerts Become Reproducible Tests? Evaluating Context-Enriched LLMs for Security Verification
Research Paper

Rubens Abraão da Silva Sousa <abraao.sousa@aluno.uece.br>, Gabriel Pinheiro <gabriel.rezende@aluno.uece.br>, Samuel Sousa Teles <samuel.teles@aluno.uece.br>, Sávio Freire <savio.essf@gmail.com>, Ismayle Santos <ismayle.santos@uece.br>

Sep 08, 05:00 PM

Auditoria Automática de Consistência Lógica em Casos de Teste por Meio de Extração Semântica com Abordagem Neuro-Simbólica
Research Paper

Christopher Ric Coelho Saar <cristophersaar@gmail.com>, Victor Alexandre Ribeiro <victoralexandre922@gmail.com>, Luan Reis <luan.reis@sou.ufac.br>, Igsonfiure Rodrigues Félix <igson660@gmail.com>, LAURA COSTA SARKIS <laura.sarkis@ufac.br>, Nícolas Riccieri Gardin Assumpção <nicolas@motorola.com>, Olacir Rodrigues Castro Junior <olacirjr@gmail.com>, Marlon Amaro Coelho Teixeira <marlon.teixeira@ifac.edu.br>

Sep 08, 05:00 PM

Custo Experimental e Valor Diagnóstico em Estratégias de Teste de Desempenho para Aplicações Web
Research Paper

Eric Moraes <ericmoraes.aluno@unipampa.edu>, Luan Evander Tavares <luantavares.aluno@unipampa.edu.br>, Anielle Severo Lisboa de Andrade <anielle.lisboa@gmail.com>, Elder Macedo Rodrigues <eldermr@gmail.com>

Sep 08, 05:15 PM

Comparação Empírica entre EvoSuite e ChatUniTest na Geração de Testes de Unidade: Um Estudo de Replicação com Extensão
Research Paper

Djeymisson Moraes <djeymisson.moraes@ufape.edu.br>, Thaís Burity <thais.burity@ufape.edu.br>

Sep 08, 05:15 PM

NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection
Research Paper

Cleidimar L. dos Passos <cleidimar.passos@gmail.com>, José Augusto Miranda Nacif <jnacif@ufv.br>, Josué Campos <josue.campos@ufv.br>, Luís Henrique Santos de Carvalho <luis.h.carvalho@ufv.br>, Matheus Silva <matheus.junio@ufv.br>

Sep 08, 05:15 PM

Enabling Scalable Mobile Test Automation on Linux: A Case Study in a Public Financial Institution
Research Paper

Maicon Bernardino <bernardino@acm.org>, Jonnathan Riquelmo Lopes <jonnathan.riquelmo@gmail.com>, Elrison Gomes da Silva <elrisonsilva.aluno@unipampa.edu.br>, Michael Trindade da Silva <michaeltrindadedasilva@gmail.com>, Elder Macedo Rodrigues <eldermr@gmail.com>

Sep 08, 05:30 PM

Evaluating the Use of Large Language Models for Heuristic Evaluation of Web User Interfaces
Research Paper

Ana Beatriz de Araújo Farias <ana.farias.1@academico.ifpb.edu.br>, Danyllo Albuquerque <danyllo@copin.ufcg.edu.br>, Emanuel Dantas <emanueldan@gmail.com>, Rohit Gheyi <rohit@dsc.ufcg.edu.br>, Francisco Petrônio Medeiros <petronio@cefetpb.edu.br>

Sep 08, 05:30 PM

Evaluating Shaker for Flaky Test Detection in Python Projects
Research Paper

Gabriela Leal <gabrielamfleal@gmail.com>, Denini Silva <denini.gabriel@ufrpe.br>, Leopoldo Motta Teixeira <lmt@cin.ufpe.br>

Sep 08, 05:30 PM

Uma Abordagem Unificada para Testes Automatizados em Arquiteturas Web Modernas
Research Paper

João Victor de Morais <joaomorais.ti@fundecc.org.br>, Rafael Serapilha Durelli <rafael.durelli@ufla.br>, Ricardo Terra <terra@ufla.br>

Sep 08, 05:45 PM

When the Trigger Fails: Metamorphic Testing of Tool-Calling AI Agents
Research Paper

Wyllgner França de Amorim <wyllgner_franca@hotmail.com>

Sep 08, 05:45 PM

The Vocabulary of Flaky Tests in Swift
Research Paper

João Mederios <jpcm2@cin.ufpe.br>, Denini Silva <denini.gabriel@ufrpe.br>, Breno Miranda <bafm@cin.ufpe.br>

Sep 08, 05:45 PM

Evaluating the Effectiveness of MQTT Fuzzing Tools Using Mutation Testing in IoT Systems
Research Paper

Darla Alves <darlagalves@usp.br>, Bruno Ely Reis Garcia <bruno.erg@usp.br>, Marcio Delamaro <delamaro@icmc.usp.br>, Simone do Rocio Senger Souza <srocio@icmc.usp.br>