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, Leonardo Tiago, Lennon Chaves File Attached
Sep 08, 12:15 PM	BitcoinFuzz: Differential Fuzzing of Bitcoin and Lightning Network Implementations Industry Paper Bruno Ely Reis Garcia, Erick Cestari File Attached
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, Mateus Luiz de Oliveira Souza, Letícia dos Santos, Ana Caroline Gomes, Suelen Pereira, Eliane Collins File Attached
Sep 08, 06:00 PM	Utilizando a IA Generativa para Apoiar a Especificação de Casos de Teste Funcionais em um Sistema de Software do Setor Público Industry Paper Aline Lima de Souza, Jessica Soares da Costa, Rebeca Motta, Elaine Nunes, Gustavo Rocha Barreto Pinto, Rafael Maiani de Mello File Attached
Sep 08, 06:00 PM	Mutation Testing in the Wild: Challenges and Lessons from Bitcoin Core Industry Paper Bruno Ely Reis Garcia File Attached
Sep 08, 06:09 PM	Automating Bug Analysis in Regulatory Information Requirements Using AI Agents Industry Paper WENDELL MARQUES, Cainã Oliveira, Edluce Leitão Veras, Thiago Henrique Fragata, Eduardo Peluchi de Oliveira Filho File Attached
Sep 08, 06:09 PM	SideForge: Evolving Functional Tests Automation in the Public Sector Industry Paper Alexandre Almeida de Oliveira, Rebeca Motta, Elaine Nunes, Gustavo Rocha Barreto Pinto, Rafael Maiani de Mello File Attached
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, João Victor de Morais, Ricardo Terra File Attached
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, Felipe Rodrigues de Oliveira, Ismayle Santos File Attached Artifact
Sep 08, 06:18 PM	Identificando Lacunas de Competências para Cloud Testing: Um Relato da Indústria de Software Industry Paper Nayane Alves, Jose Alves, PAULA PAVAO

Research Paper

Sep 08, 11:00 AM	Threshold Mutation Operators for Test Data Selection Applied to Machine Learning Testing Research Paper Waisman Braga, Marcio Delamaro, Simone do Rocio Senger Souza File Attached
Sep 08, 11:00 AM	Assessing Postcondition Completeness in Auto-Generated Function Contracts for Software Verification Research Paper Caio Vinícius Pereira Silveira, Mateus Tymburibá File Attached Artifact
Sep 08, 11:15 AM	Fidelity Is Not Effectiveness: Limits of the Mutation Score in LLM-Inferred Mealy Machines Research Paper Alecsander Gonçalves de Matos, Simone do Rocio Senger Souza, Marcio Delamaro File Attached
Sep 08, 11:15 AM	Investigating Cognitive Demands in Software Testing Activities: An EEG-Based Experimental Study Research Paper Roselane Farias, Dhyego Tavares, José Garcia Vivas Miranda, Eduardo Almeida File Attached
Sep 08, 11:30 AM	LLM-Pyro: LLM-Based Mutation Testing with Equivalence Triage for Python Research Paper Victor Manuel Chang, Marcelo Manoel de Lima Filho, Awdren de Lima Fontão File Attached
Sep 08, 11:30 AM	Can LLMs Detect and Refactor Test Smells in Performance Tests? Research Paper Adelson José de Ornellas Filho, Manoel Aranda III, Marcio Ribeiro, Samira Santos da Silva, Rohit Gheyi, Baldoino Fonseca, Ivan C Machado File Attached
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, Maicon Bernardino, Elder Macedo Rodrigues File Attached
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, Alana Agne Brandao Rocha, Erica Meire Prates Ferreira, Guilherme Prado Silva, José Alberto Diaz Amado, Carina Santos Silveira, France Ferreira de Souza Arnaut, Rosângela Accioly Correia, Andrea de Matos Machado, Crescencio Lima File Attached
Sep 08, 12:00 PM	AutoMutSec: Mutation Testing for Authorization Policies in Spring Security Research Paper Caio Jhonatan Alves Pereira, Everton L.G. Alves File Attached
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, Sofia Costa Paiva File Attached
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, Matheus Fialho, Maicon Bernardino, Elder Macedo Rodrigues File Attached Artifact
Sep 08, 04:30 PM	NoseSense: Benchmarking LLMs for Test Smell Detection Research Paper Magno Macedo Miranda, Lucas Lopes Fraga, Letícia Barreto, Tassio Guerreiro Antunes Virginio, Marcio Ribeiro, Ivan C Machado File Attached
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, Graziela Espindola, Maicon Bernardino, Elder Macedo Rodrigues File Attached Artifact
Sep 08, 04:45 PM	Cronos: Automating Bug Report Validation with LLMs using RAG Approach Research Paper Alay Nascimento, Ana Paula Silva, Lennon Chaves File Attached
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, Rafael Vieira, Paloma Passos, Paulo Cerqueira, Tássio Vírginio, Antonio Rito, Ivan C Machado File Attached
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, Gabriel Gonsalez, Elder Macedo Rodrigues
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, Gabriel Pinheiro, Samuel Sousa Teles, Sávio Freire, Ismayle Santos File Attached
Sep 08, 05:00 PM	Detecção de Inconsistências Lógicas em Casos de Teste por Meio de Extração Semântica e Análise de Alcançabilidade Research Paper Christopher Ric Coelho Saar, Victor Alexandre Ribeiro, Luan Reis, Igsonfiure Rodrigues Félix, LAURA COSTA SARKIS, Nícolas Riccieri Gardin Assumpção, Olacir Rodrigues Castro Junior, Marlon Amaro Coelho Teixeira File Attached
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, Luan Evander Tavares, Anielle Severo Lisboa de Andrade, Elder Macedo Rodrigues File Attached
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, Thaís Burity File Attached
Sep 08, 05:15 PM	NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection Research Paper Cleidimar L. dos Passos, José Augusto Miranda Nacif, Josué Campos, Luís Henrique Santos de Carvalho, Matheus Silva File Attached
Sep 08, 05:15 PM	Enabling Scalable Mobile Test Automation on Linux: A Case Study in a Public Financial Institution Research Paper Maicon Bernardino, Jonnathan Riquelmo Lopes, Elrison Gomes da Silva, Michael Trindade da Silva, Elder Macedo Rodrigues File Attached
Sep 08, 05:30 PM	An Exploratory Study on Prompting Strategies for LLM-Assisted Heuristic Evaluation of Web User Interfaces Research Paper Ana Beatriz de Araújo Farias, Danyllo Albuquerque, Emanuel Dantas, Rohit Gheyi, Francisco Petrônio Medeiros File Attached
Sep 08, 05:30 PM	Evaluating Shaker for Flaky Test Detection in Python Projects Research Paper Gabriela Leal, Denini Silva, Leopoldo Motta Teixeira File Attached Artifact
Sep 08, 05:30 PM	Uma Abordagem Unificada para Testes Automatizados em Arquiteturas Web Modernas Research Paper João Victor de Morais, Rafael Serapilha Durelli, Ricardo Terra File Attached
Sep 08, 05:45 PM	When the Trigger Fails: Metamorphic Testing of Tool-Calling AI Agents Research Paper Wyllgner França de Amorim File Attached Artifact
Sep 08, 05:45 PM	The Vocabulary of Flaky Tests in Swift Research Paper João Mederios, Denini Silva, Breno Miranda File Attached Artifact
Sep 08, 05:45 PM	Evaluating the Effectiveness of MQTT Fuzzing Tools Using Mutation Testing in IoT Systems Research Paper Darla Alves, Bruno Ely Reis Garcia, Marcio Delamaro, Simone do Rocio Senger Souza File Attached

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

Industry Paper

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

BitcoinFuzz: Differential Fuzzing of Bitcoin and Lightning Network Implementations

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

Utilizando a IA Generativa para Apoiar a Especificação de Casos de Teste Funcionais em um Sistema de Software do Setor Público

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

Automating Bug Analysis in Regulatory Information Requirements Using AI Agents

SideForge: Evolving Functional Tests Automation in the Public Sector

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

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

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

Research Paper

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

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

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

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

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

Can LLMs Detect and Refactor Test Smells in Performance Tests?

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

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

AutoMutSec: Mutation Testing for Authorization Policies in Spring Security

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

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

NoseSense: Benchmarking LLMs for Test Smell Detection

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

Cronos: Automating Bug Report Validation with LLMs using RAG Approach

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

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

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

Detecção de Inconsistências Lógicas em Casos de Teste por Meio de Extração Semântica e Análise de Alcançabilidade

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

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

NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection

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

An Exploratory Study on Prompting Strategies for LLM-Assisted Heuristic Evaluation of Web User Interfaces

Evaluating Shaker for Flaky Test Detection in Python Projects

Uma Abordagem Unificada para Testes Automatizados em Arquiteturas Web Modernas

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

The Vocabulary of Flaky Tests in Swift

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