INES – National Institute of Science and Technology for Software Engineering

INES at ICTSS 2015

Cleverton Hentz Antunes, PhD student at the ForAll Group (INES-UFRN), will present the paper   “Reducing the Cost of Grammar-based Testing  using Pattern Coverage” at the 27th International Conference on Testing Software and Systems (ICTSS 2015). The paper is a result of the research carried out during his PhD sandwich in CWI-Amsterdam.

INES, ASSERT & CIn/UFPE researchers at CBSoft 2015

Prof. Vinicius Cardoso Garcia (CIn/UFPE) together with graduate and undergraduate students will attend the Brazilian Conference on Software: Theory and Practice (CBSoft 2015), one of the major events held annually by the Brazilian Computer Society.

The congress will take place in Belo Horizonte, Minas Gerais, Brazil from the September, 21st to September, 25th of 2015.

This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the research being done by ASSERT Lab.

INES at VEM and CBSoft 2015

UFCG is improving laboratory

The project “Making Program Evolution Safer” is acquiring new chairs, TV and improving its laboratory at UFCG.

INES at 7th International Workshop on Managing Technical Debt (MTD 2015)

INES researchers members from the project “Evidence-Based Software Engineering” – in portuguese, “Engenharia de Software Baseada em Evidências” – has an accepted paper at 7th International Workshop on Managing Technical Debt (MTD) – In conjunction with ICSME 2015.

Authors: Mário André de F. Farias, André Batista da Silva, Manoel Mendonça, Rodrigo Oliveira Spínola

Title: A Contextualized Vocabulary Model for Identifying Technical Debt on Code Comments

INES at ONTOBRAS 2015

The paper “EDXL-RESCUER ontology: an update based on Faceted Taxonomy approach” was accepted for publication at Ontobras – Brazilian Ontology Research Seminar (ONTOBRAS 2015).

This activity is part of the project “Using Expert Finding techniques to design context-sensitive bug tracking systems”.

The seminar will take place in São Paulo, SP, Brazil from the September, 8th to September, 11th of 2015.

INES at VEM and CBSoft 2015

INES will be present at the 3rd Workshop on Software Visualization, Maintenance, and Evolution (VEM 2015), co-located with the Brazilian Conference on Software: Theory and Practice (CBSoft 2015). CBSoft will be held in Belo Horizonte (Brazil), from 21 to 25 September 2015. The following research members from the “Concern-Driven Measurement of Software Modularity” project will attend the workshop and the conference:

Elienai Batista, Bruno Silva, Marcos Dósea and Cláudio Sant’Anna.

Elienai and Cláudio had the following paper accepted on the workshop:
Title: Avaliação Experimental da Relação entre Coesão e o Esforço de Compreensão de Programas: Um Estudo Preliminar.

INES at ACM RACS 2015

The paper “The Importance of Replications in Software Engineering – A Case Study in Defect Prediction” was accepted for publication at ACM Conference on Research in Adaptive and Convergent Systems (ACM RACS 2015).

This activity is part of the project  “Investigating Algorithms, Techniques and Tools for Search Based Software Engineering” — in portuguese, Investigando Algoritmos, Técnicas e Ferramentas para Engenharia de Software Baseada em Buscas.

More details about the publication: Siebra, C. A. and Mello, M. A. B. The Importance of Replications in Software Engineering – A Case Study in Defect Prediction. ACM Conference on Research in Adaptive and Convergent Systems (ACM RACS 2015). Prague, Czech Republic, 2015.

INES Graduate Student presents his work at CBSoft 2015 – Tools

Graduate student, and MSc candidate, Vítor Alcântara de Almeida will attend CBSoft 2015 and present the paper to the Tools Session:

“WPTrans: Um assistente para Verificacão de Programas no Frama-C”

Authors: David Deharbe, Richard Bonichon, Vitor Almeida

Abstract. This article describes the early stage of WPTrans: an extension to Frama-C and WP. This extension enable to manually help automated theorem provers by manipulating generated proof obligations. This gives yet another bullet to prove program correctness.

INES at CBSoft 2015

The following INES members will attend the Brazilian Conference on Software: Theory and Practice (CBSoft 2015), one of the major events held annually by the Brazilian Computer Society.

– Marcel Vinicius Medeiros Oliveira (DIMAp/UFRN)

The congress will take place in Belo Horizonte, Minas Gerais, Brazil from the September, 21st to September, 25th of 2015.