Technical Reports
2017
TITLE: A Survey on Nonconformance Classification by Java/JML Developers
AUTHOR(S): Alysson Filgueira Milanez
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
TITLE: Estado da Arte em Verificação Baseada em Contratos
AUTHOR(S): Alysson Filgueira Milanez
TITLE: Avaliando 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