Go to the content

21 a 25/09/15BELO HORIZONTE - MG

Full screen

Tools Session

Translations

The Tools Session will be held in two days. The technical presentation of tools will occur on Wednesdey September 23, and the demonstration of tools will occur on Thursday September 24.

In the technical presentations, each author will have 10 minutes to present its tool, with 8 minutes of presentation and 2 minutes of questions. The presentation must contextualize the tool, presenting usage scenarios, potential users, contributions, originality and evaluation of results. The main idea is to motivate the audience to know the tool in the next day, during demonstrations.

In the demonstration session, each tool will be exposed during 90 minutes. During this period, one or more authors will be available to show their tools in their own notebooks. People can go to authors when they are interested in a demonstration or more detailed explanation. We recommend the authors provide didactic examples of tool usage so interested person can use it.

We request that authors develop a tool poster. This poster will be exposed in the technical session on Wednesday, though it will be more useful in demonstration session on Thursday. The main idea is to expose the poster beside the author, so interested people can identify a tool, read its poster and decide on a demonstraton.

 

CALL FOR PAPERS

 


PROGRAM

 


Technical Session 1 - Wednesday September 23, 2015,  14:30 - 15:20, Auditorium #1 Building #4

Software Architecture

Observatório do Investimento - Uma plataforma computacional para coleta, tratamento, mineração, análise, distribuição e visualização de dados de mídias Web para o mercado de capitais brasileiro
Renato Utsch (Universidade Federal de Minas Gerais - Brazil)
Alef Miranda (Universidade Federal de Minas Gerais - Brazil)
Zilton Junior (Universidade Federal de Minas Gerais - Brazil)
Adriano César Pereira (Universidade Federal de Minas Gerais (UFMG) - Brazil)
Tool Presentation Video

RipRop: A Dynamic Detector of ROP Attacks
Mateus Tymburibá Ferreira (Universidade Federal de Minas Gerais - Brazil)
Rubens Moreira (Universidade Federal de Minas Gerais - Brazil)
Fernando Quintao Pereira (Universidade Federal de Minas Gerais - Brazil)
Tool Presentation Video

ArchRuby: Conformidade e Visualização Arquitetural em Linguagens Dinâmicas
Sérgio Miranda (Universidade Federal de Minas Gerais - Brazil)
Marco Tulio Valente (UFMG - Brazil)
Ricardo Terra (UFLA - Brazil)
Tool Presentation Video

Software Product Line Engineering

SmartHomeRiSE: An DSPL to Home Automation
Matheus Lessa (Universidade Federal da Bahia - Brazil)
Eduardo Almeida (C.E.S.A.R/RiSE - Brazil)
Alcemir Santos (Universidade Federal da Bahia - Brazil)
Michelle Carvalho (RiSE Labs - Brazil)
Tool Presentation Video

SACRES 2.0: Suporte à Recomendação de Configurações considerando Múltiplos Stakeholders
Lucas Tomasi (UFRGS - Brazil)
Jacob Stein (UFRGS - Universidade Federal do Rio Grande do Sul - Brazil)
Ingrid Nunes (UFRGS - Brazil)
Tool Presentation Video

 


Technical Session 2 - Wednesday September 23, 2015, 15:20 - 16:00, Auditorium #1 Building #4

Support Environment and Programming Language Compilers

RAwTIM Uma Ferramenta para Rastreabilidade da Informação em Análises de Riscos
Paulo Barbosa (Universidade Estadual da Paraíba - Brazil)
Fabio Luís Leite Jr (Universidade Federal de Campina Grande - Brazil)
Raphael Mendonca (NUTES/UEPB - Brazil)
Melquisedec Andrade (NUTES/UEPB - Brazil)
Luana Sousa (NUTES/UEPB - Brazil)
Pablo Antonino (Fraunhofer IESE - Germany)
Tool Video Presentation

ICARU-FB & FBE: Um Ambiente de Desenvolvimento Aderente à Norma IEC 61499
Leandro Israel Pinto (UDESC - Brazil)
Cristiano Vasconcellos (UDESC - Brazil)
Roberto Rosso Junior (Universidade do Estado de Santa Catarina - Brazil)
Eduardo Harbs (Universidade do Estado de Santa Catarina - Brazil)
Gabriel Negri (UDESC - Brazil)
Tool Video Presentation

Restrictifier: a tool to disambiguate pointers at function call sites
Victor Campos (Universidade Federal de Minas Gerais - Brazil)
Péricles Alves (Universidade Federal de Minas Gerais - Brazil)
Fernando Quintao Pereira (Universidade Federal de Minas Gerais - Brazil)
Tool Video Presentation

Etino: Colocação Automática de Computação em Hardware Heterogêneo
Douglas Teixeira (Universidade Federal de Minas Gerais - Brazil)
Kezia Moreira (Universidade Federal de Minas Gerais - Brazil)
Fernando Quintao Pereira (Universidade Federal de Minas Gerais - Brazil)
Gleison Souza Diniz Mendonça (Universidade Federal de Minas Gerais - Brazil)
Tool Video Presentation

 


Technical Session 3 - Wednesday September 23, 2015, 16:30 - 17:20, Auditorium #1 Building #4

Software Verification, Validation and Testing

Multi-Level Mutation Testing of Java and AspectJ Programs Supported by the Proteum/AJv2 Tool
Filipe Leme (Nativo inc - Brazil)
Fabiano Ferrari (Universidade Federal de São Carlos (UFSCar) - Brazil)
José Maldonado (SSC/ICMC-USP/ São Carlos - Brazil)
Awais Rashid (University of Lancaster - Great Britain)
Tool Video Presentation

MTControol: Ferramenta de Apoio à Recomendação e Controle de Critérios de Teste em Aplicações Móveis
Juliana Nascimento (Universidade Federal do Amazonas - Brazil)
Jonathas dos Santos (Federal University of Amazonas - Brazil)
Arilo Dias Neto (UFAM - Brazil)
Tool Video Presentation

Asymptus - A Tool for Automatic Inference of Loop Complexity
Junio Cezar Ribeiro da Silva (Federal University of Minas Gerais - Brazil)
Francisco Demontiê dos Santos Junior (Federal University of Minas Gerais - Brazil)
Mariza Bigonha (UFMG - Brazil)
Fernando Quintao Pereira (Universidade Federal de Minas Gerais - Brazil)
Tool Video Presentaton

FlowTracker - Detecção de Código Não Isócrono via Análise Estática de Fluxo
Bruno Rodrigues Silva (Universidade Federal de Minas Gerais - Brazil)
Leonardo Rodrigues Ribeiro (Centro Federal de Educação Tecnológica de Minas Gerais - CEFET-MG - Brazil)
Fernando Quintao Pereira (Universidade Federal de Minas Gerais - Brazil)
Tool Video Presentation

WPTrans: Um assistente para Verificação de Programas no Frama-C
Vitor Almeida (Universidade Federal do Rio Grande do Norte - Brazil)
Tool Video Presentation

 


Technical Session 4 - Wednesday September 23, 2015, 17:20 - 18:00, Auditorium #1 Building #4

Software Maintenance, Reengineering and Refactoring

JSClassFinder: A Tool to Detect Class-like Structures in JavaScript
Leonardo Humberto Silva (Federal Institute of North Minas Gerais - Brazil)
Daniel Carlos Hovadick Félix (University of Minas Gerais - Brazil)
Marco Tulio Valente (UFMG - Brazil)
Alexandre Bergel (DCC - Pleiad Lab - Chile)
Nicolas Anquetil (INRIA - France)
Anne Etien (INRIA Lille Nord Europe - France)
Tool Video Presentation

Requirements Engineering

SORTT - A Service Oriented Requirements Traceability Tool
Arthur Marques (Universidade Federal de Campina Grande - Brazil)
Franklin Ramalho (Universidade Federal de Campina Grande - Brazil)
Wilkerson Andrade (Universidade Federal de Campina Grande - Brazil)
Tool Video Presentation

Experimental Software Engineering

Insight: uma ferramenta para análise qualitativa de dados apoiada por mineração de texto e visualização de informações
Rafael Gastaldi (Universidade Federal de São Carlos - Brazil)
Cleiton Silva (UFSCar - Brazil)
André Di Thommazo (Instituto Federal de São Paulo - Brazil)
Elis Cristina Hernandes (Universidade Federal de São Carlos - Brazil)
Denis Bittencourt Muniz (Instituto Federal de São Paulo - Brazil)
Sandra Fabbri (UFSCar-Universidade Federal de São Carlos - Brazil)
Tool Video Presentation

 


Demonstrations 1 - Thursday September 24, 2015, 11:00 - 12:30, Room #105 Building #43

Software Architecture

Observatório do Investimento - Uma plataforma computacional para coleta, tratamento, mineração, análise, distribuição e visualização de dados de mídias Web para o mercado de capitais brasileiro
Renato Utsch (Universidade Federal de Minas Gerais - Brazil)
Alef Miranda (Universidade Federal de Minas Gerais - Brazil)
Zilton Junior (Universidade Federal de Minas Gerais - Brazil)
Adriano César Pereira (Universidade Federal de Minas Gerais (UFMG) - Brazil)
Tool Video Presentation

RipRop: A Dynamic Detector of ROP Attacks
Mateus Tymburibá Ferreira (Universidade Federal de Minas Gerais - Brazil)
Rubens Moreira (Universidade Federal de Minas Gerais - Brazil)
Fernando Quintao Pereira (Universidade Federal de Minas Gerais - Brazil)
Tool Video Presentation

ArchRuby: Conformidade e Visualização Arquitetural em Linguagens Dinâmicas
Sérgio Miranda (Universidade Federal de Minas Gerais - Brazil)
Marco Tulio Valente (UFMG - Brazil)
Ricardo Terra (UFLA - Brazil)
Tool Video Presentation

Software Product Line Engineering I

SmartHomeRiSE: An DSPL to Home Automation
Matheus Lessa (Universidade Federal da Bahia - Brazil)
Eduardo Almeida (C.E.S.A.R/RiSE - Brazil)
Alcemir Santos (Universidade Federal da Bahia - Brazil)
Michelle Carvalho (RiSE Labs - Brazil)
Tool Presentation Video

 

Support Environment and Programming Language Compilers

RAwTIM Uma Ferramenta para Rastreabilidade da Informação em Análises de Riscos
Paulo Barbosa (Universidade Estadual da Paraíba - Brazil)
Fabio Luís Leite Jr (Universidade Federal de Campina Grande - Brazil)
Raphael Mendonca (NUTES/UEPB - Brazil)
Melquisedec Andrade (NUTES/UEPB - Brazil)
Luana Sousa (NUTES/UEPB - Brazil)
Pablo Antonino (Fraunhofer IESE - Germany)
Tool Presentation Video

ICARU-FB & FBE: Um Ambiente de Desenvolvimento Aderente à Norma IEC 61499
Leandro Israel Pinto (UDESC - Brazil)
Cristiano Vasconcellos (UDESC - Brazil)
Roberto Rosso Junior (Universidade do Estado de Santa Catarina - Brazil)
Eduardo Harbs (Universidade do Estado de Santa Catarina - Brazil)
Gabriel Negri (UDESC - Brazil)
Tool Presentation Video

Restrictifier: a tool to disambiguate pointers at function call sites
Victor Campos (Universidade Federal de Minas Gerais - Brazil)
Péricles Alves (Universidade Federal de Minas Gerais - Brazil)
Fernando Quintao Pereira (Universidade Federal de Minas Gerais - Brazil)
Tool Video Presentation

Etino: Colocação Automática de Computação em Hardware Heterogêneo
Douglas Teixeira (Universidade Federal de Minas Gerais - Brazil)
Kezia Moreira (Universidade Federal de Minas Gerais - Brazil)
Fernando Quintao Pereira (Universidade Federal de Minas Gerais - Brazil)
Gleison Souza Diniz Mendonça (Universidade Federal de Minas Gerais - Brazil)
Tool Video Presentation

 


Demonstrations 2 - Thursday September 24, 2015,  14:30 - 16:30, Room #105 Building #43

Software Verification, Validation and Testing

Multi-Level Mutation Testing of Java and AspectJ Programs Supported by the Proteum/AJv2 Tool
Filipe Leme (Nativo inc - Brazil)
Fabiano Ferrari (Universidade Federal de São Carlos (UFSCar) - Brazil)
José Maldonado (SSC/ICMC-USP/ São Carlos - Brazil)
Awais Rashid (University of Lancaster - Great Britain)
Tool Video Presentation

MTControol: Ferramenta de Apoio à Recomendação e Controle de Critérios de Teste em Aplicações Móveis
Juliana Nascimento (Universidade Federal do Amazonas - Brazil)
Jonathas dos Santos (Federal University of Amazonas - Brazil)
Arilo Dias Neto (UFAM - Brazil)
Tool Video Presentation

Asymptus - A Tool for Automatic Inference of Loop Complexity
Junio Cezar Ribeiro da Silva (Federal University of Minas Gerais - Brazil)
Francisco Demontiê dos Santos Junior (Federal University of Minas Gerais - Brazil)
Mariza Bigonha (UFMG - Brazil)
Fernando Quintao Pereira (Universidade Federal de Minas Gerais - Brazil)
Tool Video Presentation

FlowTracker - Detecção de Código Não Isócrono via Análise Estática de Fluxo
Bruno Rodrigues Silva (Universidade Federal de Minas Gerais - Brazil)
Leonardo Rodrigues Ribeiro (Centro Federal de Educação Tecnológica de Minas Gerais - CEFET-MG - Brazil)
Fernando Quintao Pereira (Universidade Federal de Minas Gerais - Brazil)
Tool Video Presentation

WPTrans: Um assistente para Verificação de Programas no Frama-C
Vitor Almeida (Universidade Federal do Rio Grande do Norte - Brazil)
Tool Video Presentation

Software Maintenance, Reegineering and Refactoring

JSClassFinder: A Tool to Detect Class-like Structures in JavaScript
Leonardo Humberto Silva (Federal Institute of North Minas Gerais - Brazil)
Daniel Carlos Hovadick Félix (University of Minas Gerais - Brazil)
Marco Tulio Valente (UFMG - Brazil)
Alexandre Bergel (DCC - Pleiad Lab - Chile)
Nicolas Anquetil (INRIA - France)
Anne Etien (INRIA Lille Nord Europe - France)
Tool Video Presentation

Requirements Engineering

SORTT - A Service Oriented Requirements Traceability Tool
Arthur Marques (Universidade Federal de Campina Grande - Brazil)
Franklin Ramalho (Universidade Federal de Campina Grande - Brazil)
Wilkerson Andrade (Universidade Federal de Campina Grande - Brazil)
Tool Video Presentation

Experimental Software Engineering

Insight: uma ferramenta para análise qualitativa de dados apoiada por mineração de texto e visualização de informações
Rafael Gastaldi (Universidade Federal de São Carlos - Brazil)
Cleiton Silva (UFSCar - Brazil)
André Di Thommazo (Instituto Federal de São Paulo - Brazil)
Elis Cristina Hernandes (Universidade Federal de São Carlos - Brazil)
Denis Bittencourt Muniz (Instituto Federal de São Paulo - Brazil)
Sandra Fabbri (UFSCar-Universidade Federal de São Carlos - Brazil)
Tool Video Presentation

Software Product Line Engineering II

SACRES 2.0: Suporte à Recomendação de Configurações considerando Múltiplos Stakeholders

Lucas Tomasi (UFRGS - Brazil)
Jacob Stein (UFRGS - Universidade Federal do Rio Grande do Sul - Brazil)
Ingrid Nunes (UFRGS - Brazil)
Tool Video Presentation