Simpósio Brasileiro de Teste de Software Sistemático e Automatizado (SAST) - Programação

08 de set., 11:00 - 12:30

08 de set., 11:00	Threshold Mutation Operators for Test Data Selection Applied to Machine Learning Testing Artigo de Pesquisa Waisman Braga, Marcio Delamaro, Simone do Rocio Senger Souza Arquivo anexado
08 de set., 11:15	Fidelity Is Not Effectiveness: Limits of the Mutation Score in LLM-Inferred Mealy Machines Artigo de Pesquisa Alecsander Gonçalves de Matos, Simone do Rocio Senger Souza, Marcio Delamaro Arquivo anexado
08 de set., 11:30	LLM-Pyro: LLM-Based Mutation Testing with Equivalence Triage for Python Artigo de Pesquisa Victor Manuel Chang, Marcelo Manoel de Lima Filho, Awdren de Lima Fontão Arquivo anexado
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, Maicon Bernardino, Elder Macedo Rodrigues Arquivo anexado
08 de set., 12:00	AutoMutSec: Mutation Testing for Authorization Policies in Spring Security Artigo de Pesquisa Caio Jhonatan Alves Pereira, Everton L.G. Alves Arquivo anexado
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, Leonardo Tiago, Lennon Chaves Arquivo anexado

08 de set., 11:00 - 12:30

08 de set., 11:00	Assessing Postcondition Completeness in Auto-Generated Function Contracts for Software Verification Artigo de Pesquisa Caio Vinícius Pereira Silveira, Mateus Tymburibá Arquivo anexado Artefato
08 de set., 11:15	Investigating Cognitive Demands in Software Testing Activities: An EEG-Based Experimental Study Artigo de Pesquisa Roselane Farias, Dhyego Tavares, José Garcia Vivas Miranda, Eduardo Almeida Arquivo anexado
08 de set., 11:30	Can LLMs Detect and Refactor Test Smells in Performance Tests? Artigo de Pesquisa Adelson José de Ornellas Filho, Manoel Aranda III, Marcio Ribeiro, Samira Santos da Silva, Rohit Gheyi, Baldoino Fonseca, Ivan C Machado Arquivo anexado
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, 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 Arquivo anexado
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, Sofia Costa Paiva Arquivo anexado
08 de set., 12:15	BitcoinFuzz: Differential Fuzzing of Bitcoin and Lightning Network Implementations Artigo da Indústria Bruno Ely Reis Garcia, Erick Cestari Arquivo anexado

08 de set., 14:00 - 16:00

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.

08 de set., 16:30 - 18:30

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, Matheus Fialho, Maicon Bernardino, Elder Macedo Rodrigues Arquivo anexado Artefato
08 de set., 16:45	Cronos: Automating Bug Report Validation with LLMs using RAG Approach Artigo de Pesquisa Alay Nascimento, Ana Paula Silva, Lennon Chaves Arquivo anexado
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, Gabriel Pinheiro, Samuel Sousa Teles, Sávio Freire, Ismayle Santos Arquivo anexado
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, Thaís Burity Arquivo anexado
08 de set., 17:30	An Exploratory Study on Prompting Strategies for LLM-Assisted Heuristic Evaluation of Web User Interfaces Artigo de Pesquisa Ana Beatriz de Araújo Farias, Danyllo Albuquerque, Emanuel Dantas, Rohit Gheyi, Francisco Petrônio Medeiros Arquivo anexado
08 de set., 17:45	When the Trigger Fails: Metamorphic Testing of Tool-Calling AI Agents Artigo de Pesquisa Wyllgner França de Amorim Arquivo anexado Artefato
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, Mateus Luiz de Oliveira Souza, Letícia dos Santos, Ana Caroline Gomes, Suelen Pereira, Eliane Collins Arquivo anexado
08 de set., 18:09	Automating Bug Analysis in Regulatory Information Requirements Using AI Agents Artigo da Indústria WENDELL MARQUES, Cainã Oliveira, Edluce Leitão Veras, Thiago Henrique Fragata, Eduardo Peluchi de Oliveira Filho Arquivo anexado
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, Felipe Rodrigues de Oliveira, Ismayle Santos Arquivo anexado Artefato

08 de set., 16:30 - 18:30

08 de set., 16:30	NoseSense: Benchmarking LLMs for Test Smell Detection Artigo de Pesquisa Magno Macedo Miranda, Lucas Lopes Fraga, Letícia Barreto, Tassio Guerreiro Antunes Virginio, Marcio Ribeiro, Ivan C Machado Arquivo anexado
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, Rafael Vieira, Paloma Passos, Paulo Cerqueira, Tássio Vírginio, Antonio Rito, Ivan C Machado Arquivo anexado
08 de set., 17:00	Detecção de Inconsistências Lógicas em Casos de Teste por Meio de Extração Semântica e Análise de Alcançabilidade Artigo de Pesquisa 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 Arquivo anexado
08 de set., 17:15	NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection Artigo de Pesquisa Cleidimar L. dos Passos, José Augusto Miranda Nacif, Josué Campos, Luís Henrique Santos de Carvalho, Matheus Silva Arquivo anexado
08 de set., 17:30	Evaluating Shaker for Flaky Test Detection in Python Projects Artigo de Pesquisa Gabriela Leal, Denini Silva, Leopoldo Motta Teixeira Arquivo anexado Artefato
08 de set., 17:45	The Vocabulary of Flaky Tests in Swift Artigo de Pesquisa João Mederios, Denini Silva, Breno Miranda Arquivo anexado Artefato
08 de set., 18:00	Utilizando a IA Generativa para Apoiar a Especificação de Casos de Teste Funcionais em um Sistema de Software do Setor Público Artigo da Indústria Aline Lima de Souza, Jessica Soares da Costa, Rebeca Motta, Elaine Nunes, Gustavo Rocha Barreto Pinto, Rafael Maiani de Mello Arquivo anexado
08 de set., 18:09	SideForge: Evolving Functional Tests Automation in the Public Sector Artigo da Indústria Alexandre Almeida de Oliveira, Rebeca Motta, Elaine Nunes, Gustavo Rocha Barreto Pinto, Rafael Maiani de Mello Arquivo anexado
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, Jose Alves, PAULA PAVAO

08 de set., 16:30 - 18:30

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, Graziela Espindola, Maicon Bernardino, Elder Macedo Rodrigues Arquivo anexado Artefato
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, Gabriel Gonsalez, Elder Macedo Rodrigues
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, Luan Evander Tavares, Anielle Severo Lisboa de Andrade, Elder Macedo Rodrigues Arquivo anexado
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, Jonnathan Riquelmo Lopes, Elrison Gomes da Silva, Michael Trindade da Silva, Elder Macedo Rodrigues Arquivo anexado
08 de set., 17:30	Uma Abordagem Unificada para Testes Automatizados em Arquiteturas Web Modernas Artigo de Pesquisa João Victor de Morais, Rafael Serapilha Durelli, Ricardo Terra Arquivo anexado
08 de set., 17:45	Evaluating the Effectiveness of MQTT Fuzzing Tools Using Mutation Testing in IoT Systems Artigo de Pesquisa Darla Alves, Bruno Ely Reis Garcia, Marcio Delamaro, Simone do Rocio Senger Souza Arquivo anexado
08 de set., 18:00	Mutation Testing in the Wild: Challenges and Lessons from Bitcoin Core Artigo da Indústria Bruno Ely Reis Garcia Arquivo anexado
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, João Victor de Morais, Ricardo Terra Arquivo anexado

Simpósio Brasileiro de Teste de Software Sistemático e Automatizado (SAST) - Programação

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