Simpósio Brasileiro de Teste de Software Sistemático e Automatizado (SAST) - Artigos Aceitos

Artigo da Indústria

08 de set., 12:15

Cassiopeia: A Retrieval-Augmented Generation Tool for Automated Test-Case Creation
Artigo da Indústria

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

08 de set., 12:15

BitcoinFuzz: Differential Fuzzing of Bitcoin and Lightning Network Implementations
Artigo da Indústria

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

08 de set., 18:00

Otimização da Geração de Casos de Teste em Aplicativos Móveis via Aprendizado por Reforço e Agentes de IA
Artigo da Indústria

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>

08 de set., 18:00

Leveraging Generative AI to Support Functional Test Case Specification in a Public Sector Software System
Artigo da Indústria

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>

08 de set., 18:00

Mutation Testing in the Wild: Challenges and Lessons from Bitcoin Core
Artigo da Indústria

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

08 de set., 18:09

Automating Bug Analysis in Regulatory Information Requirements Using AI Agents
Artigo da Indústria

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>

08 de set., 18:09

SideForge: Evolving Functional Tests Automation in the Public Sector
Artigo da Indústria

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>

08 de set., 18:09

Testes Funcionais Automatizados como Fonte para Geração Automatizada de Manuais de Usuário no Instituto Mineiro de Agropecuária
Artigo da Indústria

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

08 de set., 18:18

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

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

08 de set., 18:18

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

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

Artigo de Pesquisa

08 de set., 11:00

Threshold Mutation Operators for Test Data Selection Applied to Machine Learning Testing
Artigo de Pesquisa

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

08 de set., 11:00

Assessing Postcondition Completeness in Auto-Generated Function Contracts for Software Verification
Artigo de Pesquisa

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

08 de set., 11:15

Fidelity Is Not Effectiveness: Limits of Mutation Score in LLM-Inferred Mealy Machines
Artigo de Pesquisa

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

08 de set., 11:15

Investigating Cognitive Demands in Software Testing Activities: An EEG-Based Experimental Study
Artigo de Pesquisa

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

08 de set., 11:30

LLM-Pyro: LLM-Based Mutation Testing with Equivalence Triage for Python
Artigo de Pesquisa

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

08 de set., 11:30

Can LLMs Detect and Refactor Test Smells in Performance Tests?
Artigo de Pesquisa

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>

08 de set., 11:45

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

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

08 de set., 11:45

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

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>

08 de set., 12:00

AutoMutSec: Mutation Testing for Authorization Policies in Spring Security
Artigo de Pesquisa

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

08 de set., 12:00

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

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

08 de set., 16:30

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

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>

08 de set., 16:30

NoseSense: Benchmarking LLMs for Test Smell Detection
Artigo de Pesquisa

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>

08 de set., 16:30

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

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

08 de set., 16:45

Cronos: Automating Bug Report Validation with LLMs using RAG Approach
Artigo de Pesquisa

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

08 de set., 16:45

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

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>

08 de set., 16:45

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

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

08 de set., 17:00

Do SAST Alerts Become Reproducible Tests? Evaluating Context-Enriched LLMs for Security Verification
Artigo de Pesquisa

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>

08 de set., 17:00

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

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>

08 de set., 17:00

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

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>

08 de set., 17:15

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

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

08 de set., 17:15

NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection
Artigo de Pesquisa

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>

08 de set., 17:15

Enabling Scalable Mobile Test Automation on Linux: A Case Study in a Public Financial Institution
Artigo de Pesquisa

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>

08 de set., 17:30

Evaluating the Use of Large Language Models for Heuristic Evaluation of Web User Interfaces
Artigo de Pesquisa

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>

08 de set., 17:30

Evaluating Shaker for Flaky Test Detection in Python Projects
Artigo de Pesquisa

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

08 de set., 17:30

Uma Abordagem Unificada para Testes Automatizados em Arquiteturas Web Modernas
Artigo de Pesquisa

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

08 de set., 17:45

When the Trigger Fails: Metamorphic Testing of Tool-Calling AI Agents
Artigo de Pesquisa

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

08 de set., 17:45

The Vocabulary of Flaky Tests in Swift
Artigo de Pesquisa

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

08 de set., 17:45

Evaluating the Effectiveness of MQTT Fuzzing Tools Using Mutation Testing in IoT Systems
Artigo de Pesquisa

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>