Technical Reports

2017

SPLAB-2017-001

TITLE: A Survey on Nonconformance Classification by Java/JML Developers

AUTHOR(S): Alysson Filgueira Milanez

2016

SPLAB-2016-001

TITLE: Suggesting Fixes for Nonconformances in Java/JML Programs

AUTHOR(S): Alysson Filgueira Milanez

SPLAB-2016-002

TITLE: A Baseline for Classifying Nonconformances in C#/Code Contracts Programs

AUTHOR(S): Alysson Filgueira Milanez

SPLAB-2016-003

TITLE: An exploratory study of techniques towards a classification approach for nonconformances

AUTHOR(S): Alysson Filgueira Milanez

2015

SPLAB-2015-001

TITLE: Symbolic Test Case Generation of Real-Time Systems Driven by Interruptions

AUTHOR(S): Adriana Carla Damasceno

SPLAB-2015-002

TITLE: Static Analysis of Programs: An Overview of the Main Approaches

AUTHOR(S): Alysson Filgueira Milanez

SPLAB-2015-003

TITLE: Testing Real-Time Systems from Compositional Symbolic Specifications

AUTHOR(S): Adriana Carla Damasceno

SPLAB-2015-004

TITLE: Manually Classifying Nonconformances in C#/Code Contracts

AUTHOR(S): Alysson Filgueira Milanez

SPLAB-2015-005

TITLE: A Case Study on Classifying Nonconformances in Java/JML Programs

AUTHOR(S): Alysson Filgueira Milanez

2014

SPLAB-2014-001

TITLE: Case Study on Categorizing Nonconformances

AUTHOR(S): Alysson Filgueira Milanez

SPLAB-2014-002

TITLE: Investigating Conformance Checking in the Object-Oriented .NET Framework

AUTHOR(S): Alysson Filgueira Milanez and Igor Sousa

2013

SPLAB-2013-001

TITLE: Test Case Prioritization based on Refactoring Fault Models

AUTHOR(S): Everton L. G. Alves

SPLAB-2013-002

TITLE: Estado da Arte em Verificação Baseada em Contratos

AUTHOR(S): Alysson Filgueira Milanez

SPLAB-2013-003

TITLE: Avaliando o Eclipse JDT e ASM para análise estática de projetos Java

AUTHOR(S): Ricardo de Sousa Job

SPLAB-2013-004

TITLE: Defining a Hybrid Strategy for the Choice of a Test Suite Reduction Strategy

AUTHOR(S): Ana Emília Victor Barbosa Coutinho

2012

SPLAB-2012-001

TITLE: Investigating Test Case Prioritization Techniques for Refactoring Activities Validation: Evaluating the Behavior

AUTHOR(S): Everton L. G. Alves

SPLAB-2012-002

TITLE: Investigating Test Case Prioritization Techniques for Refactoring Activities Validation: Evaluating Suite Characterists

AUTHOR(S): Everton L. G. Alves

SPLAB-2012-003

TITLE: An Experimental Investigation of Distance Functions for Test Suite Reduction Strategies based on Similarity

AUTHOR(S): Ana Emília V. B. Coutinho

SPLAB-2012-004

TITLE: An Experimental Investigation of the Selection Order Established by Test Suite Reduction Strategies in Two Real-World Specifications

AUTHOR(S): Ana Emília V. B. Coutinho

SPLAB-2012-005

TITLE: Relacionando Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Modelos com suas Capacidades de Revelar Defeitos

AUTHOR(S): João Felipe Silva Ouriques

SPLAB-2012-006

TITLE: The Influence of the Model Structure on the Performance of General Prioritization Techniques

AUTHOR(S): João Felipe Silva Ouriques

SPLab-2012-007

TITLE: The Influence of the Failure Profile on the Performance of General Prioritization Techniques

AUTHOR(S): João Felipe Silva Ouriques

SPLAB-2012-008

TITLE: Experimental Investigation of the Selection Order of Test Cases established by Test Suite Reduction Strategies

AUTHOR(S): Ana Emília Victor Barbosa Coutinho

2011

SPLAB-2011-001

TITLE: Revisão Sistemática de Técnicas de Re-teste Seletivo baseado em Especificação

AUTHOR(S): Francisco Gomes de Oliveira Neto

SPLAB-2011-002

TITLE: An Experimental Investigation of the Selection Order Established by Test Suite Reduction Strategies

AUTHOR(S): Ana Emília V. B. Coutinho

SPLAB-2011-003

TITLE: A Systematic Review on Compositional Models

AUTOR(S): Adriana Carla Damasceno