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

Sep 08, 11:00 AM - 12:30 PM

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: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: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: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, 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: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, 11:00 AM - 12:30 PM

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	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	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	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	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, 12:15 PM	BitcoinFuzz: Differential Fuzzing of Bitcoin and Lightning Network Implementations Industry Paper Bruno Ely Reis Garcia, Erick Cestari File Attached

Sep 08, 02:00 PM - 04:00 PM

We push the button and let our tests run. But what really happens? What machinery is put into motion when we test and what are the environmental consequences of our quality assurance process? In this talk, I will take you through some of the insights that we have made while closely examining the potential environmental impact of building and testing 204 Java open source projects. The outlook is that testing is perhaps not as green as we might have thought.

Sep 08, 04:30 PM - 06:30 PM

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: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, 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: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: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: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, 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: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: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, 04:30 PM - 06:30 PM

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: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, 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: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: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:45 PM	The Vocabulary of Flaky Tests in Swift Research Paper João Mederios, Denini Silva, Breno Miranda File Attached Artifact
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: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: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

Sep 08, 04:30 PM - 06:30 PM

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	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	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	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	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	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
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	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

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

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

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

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

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

AutoMutSec: Mutation Testing for Authorization Policies in Spring Security

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

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

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

Can LLMs Detect and Refactor Test Smells in Performance Tests?

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

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

BitcoinFuzz: Differential Fuzzing of Bitcoin and Lightning Network Implementations

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

Cronos: Automating Bug Report Validation with LLMs using RAG Approach

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

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

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

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

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

Automating Bug Analysis in Regulatory Information Requirements Using AI Agents

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

NoseSense: Benchmarking LLMs for Test Smell Detection

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

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

NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection

Evaluating Shaker for Flaky Test Detection in Python Projects

The Vocabulary of Flaky Tests in Swift

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

SideForge: Evolving Functional Tests Automation in the Public Sector

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

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

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

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

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

Uma Abordagem Unificada para Testes Automatizados em Arquiteturas Web Modernas

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

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

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