Publications‎ > ‎

Technical Reports

2016

TITLE: Suggesting Fixes for Nonconformances in Java/JML Programs
AUTHOR(S): Alysson Filgueira Milanez

TITLE: A Baseline for Classifying Nonconformances in C#/Code Contracts Programs
AUTHOR(S): Alysson Filgueira Milanez

TITLE: An exploratory study of techniques towards a classification approach for nonconformances
AUTHOR(S): Alysson Filgueira Milanez

2015

TITLE: Symbolic Test Case Generation of Real-Time Systems Driven by Interruptions
AUTHOR(S): Adriana Carla Damasceno

TITLE: Static Analysis of Programs: An Overview of the Main Approaches
AUTHOR(S): Alysson Filgueira Milanez

TITLE: Testing Real-Time Systems from Compositional Symbolic Specifications
AUTHOR(S): Adriana Carla Damasceno

TITLE: Manually Classifying Nonconformances in C#/Code Contracts
AUTHOR(S): Alysson Filgueira Milanez

TITLE: A Case Study on Classifying Nonconformances in Java/JML Programs
AUTHOR(S): Alysson Filgueira Milanez

2014

TITLE: Case Study on Categorizing Nonconformances
AUTHOR(S): Alysson Filgueira Milanez 

TITLE: Investigating Conformance Checking in the Object-Oriented .NET Framework
AUTHOR(S): Alysson Filgueira Milanez and Igor Sousa

2013

TITLE: Test Case Prioritization based on Refactoring Fault Models
AUTHOR(S): Everton L. G. Alves

TITLEEstado da Arte em Verificação Baseada em Contratos
AUTHOR(S): Alysson Filgueira Milanez

TITLEAvaliando o Eclipse JDT e ASM para análise estática de projetos Java
AUTHOR(S): Ricardo de Sousa Job

TITLE: Defining a Hybrid Strategy for the Choice of a Test Suite Reduction Strategy
AUTHOR(S): Ana Emília Victor Barbosa Coutinho

2012

TITLE: Investigating Test Case Prioritization Techniques for Refactoring Activities Validation: Evaluating the Behavior
AUTHOR(S): Everton L. G. Alves
 
TITLE: Investigating Test Case Prioritization Techniques for Refactoring Activities Validation: Evaluating Suite Characterists
AUTHOR(S): Everton L. G. Alves
 
TITLE: An Experimental Investigation of Distance Functions for Test Suite Reduction Strategies based on Similarity
AUTHOR(S): Ana Emília V. B. Coutinho
 
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
 
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
 
TITLE: The Influence of the Model Structure on the Performance of General Prioritization Techniques
AUTHOR(S): João Felipe Silva Ouriques
 
TITLE: The Influence of the Failure Profile on the Performance of General Prioritization Techniques
AUTHOR(S): João Felipe Silva Ouriques

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

TITLE: Revisão Sistemática de Técnicas de Re-teste Seletivo baseado em Especificação
AUTHOR(S): Francisco Gomes de Oliveira Neto
 
TITLE: An Experimental Investigation of the Selection Order Established by Test Suite Reduction Strategies
AUTHOR(S): Ana Emília V. B. Coutinho

TITLE: A Systematic Review on Compositional Models
AUTOR(S): Adriana Carla Damasceno

ċ
template-splab-en.zip
(281k)
Software Practices,
7 Feb 2013, 15:55
ċ
template-splab-pt.zip
(85k)
Software Practices,
7 Feb 2013, 15:56
Comments