INES – National Institute of Science and Technology for Software Engineering

The 3 CBSoft 2011 best tools are from INES researchers

Today the three best tools were awarded at CBSoft 2011. All of them were made by INES researchers.

The CBSoft 2011 Best Tool was “A Tool for Improving Maintainability of Preprocessor-based Product Lines”. Márcio Ribeiro (UFPE), Társis Tolêdo (UFPE), Paulo Borba (UFPE), and Claus Brabrand (IT University of Copenhagen)

The 2nd CBSoft 2011 Best Tool was “JMLok: Uma Ferramenta para Verificar Conformidade em Programas Java/JML”, Catuxe Varjão (UFCG), Rohit Gheyi (UFCG), Tiago Massoni (UFCG), and Gustavo Soares (UFCG)

The 3rd CBSoft 2011 Best Tool was “Visualizando a Evolução do Comportamento Excepcional em Aplicações Multi-linguagem com eFlowMining”, Israel Garcia (UFRN), Eliezio Soares (UFRN), and Nelio Cacho (UFRN)

Take a look ar the award ceremony video here.

The 3 SBES 2011 top papers are from INES researchers

Today at the SBES 2011 Celebration session – “SBES is 25”, INES researchers received bets papers awards for the three best papers of the conference.

The SBES 2011 best paper was “Analyzing Refactorings on Software Repositories”, by Gustavo Soares, Bruno Catão (UFCG), Catuxe Varjão (UFCG), Solon Aguiar (UFCG), Rohit Gheyi (UFCG) and Tiago Massoni (UFCG).

The 2nd best paper was “Safe Composition of Configuration Knowledge-based Software Product Lines”, Leopoldo Teixeira (UFPE); Rohit Gheyi (UFCG); Paulo Borba (UFPE).

And the 3rd best paper was “Agile Testing of Exceptional Behavior”, Rafael Di Bernardo (UFPE), Fernando Castor (UFPE), Ricardo Sales Junior (UFRN), Nelio Cacho (UFRN), Roberta Coelho (UFRN) and Sérgio Soares (UFPE).

INES at SBSC 2011, Paraty-RJ

The INES sub-project “An Intelligent, Ubiquitous and Context Sensitive Public Transportation System” had two papers (a full paper and a short paper) accepted for publication in the VIII Brazilian Symposium on Collaborative Systems (Simpósio Brasileiro de Sistemas Colaborativos – SBSC).
SBSC will occur in October 5th – 7th in Paraty/RJ.

Publication details are:

INES at CBSOFT 2011: FEES 2011 & SBES is 25

FEES 2011

INES researchers will join the FEES 2011 @ CBSoft (São Paulo), to discuss “Free/Libre/Open Source Software Development in Software Engineering Education: Opportunities and Experiences”.

The work involves researchers from UFBA (INES project: Models, Techniques and Tools for Software Evolution) in collaboration with IME-USP. One of the reported experiences took place in a Software Evolution course at UFBA.

“Free/Libre/Open Source Software Development in Software Engineering Education: Opportunities and Experiences”

– Christina Chavez, Antonio Terceiro (UFBA); Paulo Meirelles, Carlos Santos Jr., Fabio Kon (IME-USP)

SBES is 25

Researchers from INES project: Models, Techniques and Tools for Software Evolution also participate in two papers accepted at the SBES is 25 Special Track:

1) “The AOSD Research Community in Brazil and its Crosscutting Impact”
Christina Chavez, Uirá Kulesza, Sérgio Soares, Paulo Borba, Carlos Lucena, Paulo Masiero, Claudio Sant’Anna, Eduardo Piveta, Fabiano Ferrari, Fernando Castor, Roberta Coelho, Vander Alves , Lyrene Silva, Paulo Pires, Nabor Mendonça , Eduardo Figueiredo, Thais Batista, Carla Silva, Valter Camargo, Nélio Cacho, Otávio Lemos, Flávia Delicato , Arndt von Staa, Fabio Silveira , Fernanda Alencar, Julio Leite, Ricardo Ramos, Rodrigo Bonifácio , Marco Tulio Valente, Rosana Braga, Rosangela Penteado, Jaelson Castro (UFBA, UFRN, UFPE, PUC-Rio, USP, UFSM, UFPB, UFMG, UFSCar, Unifesp, UFRJ, Unifor, Univasf, UnB)

2)  “Free and Open Source Software Development and Research: Opportunities for Software Engineering”
Fabio Kon, Paulo Meirelles (IME-USP); Antonio Terceiro, Christina Chavez (UFBA); Nelson Lago (IME-USP); Manoel Mendonça (UFBA)

Member of CIn/UFPE visits UnB

The master student Paola Accioly from Federal University of Pernambuco is going to visit the UnB from 26th to 29th September to carry out an experiment that is part of the scope of her master’s research.

INES at Software Quality Journal

The paper “The Bug Report Duplication Problem: An Exploratory Study” was accepted for publication at the Software Quality Journal. This activity is part of the project  “An Investigation of Methods, Processes, Tools, and Metrics for the Development of Software Product Lines (SPL)” — in portuguese, Uma Investigação de Processos, Ferramentas e Métricas para o Desenvolvimento de Linhas de Produto de Software.

More details about the publication:  Cavalcanti, Y.; Neto, P. A. M.; Vale, T.; Lucrédio, D.; Almeida, E. S; Meira, S. R. L. The Bug Report Duplication Problem: An Exploratory Study, Software Quality Journal, 2012

INES at SBMF 2011 (CBSoft)

The papers “Extending CRefine to Support Tactics of Refinement” and “Joker: An Animation Framework for Formal Specifications” were accepted for publication as short papers for the Brazilian Symposium on Formal Methods 2011. The authors Marcel Oliveira, Diego Oliveira and Madiel Filho will attend the conference to present their papers.

INES researchers at SBMF 2009

UFRN-affiliated INES researchers David Deharbe, Stephenson Galvão and Anamaria Martins Moreira have presented  their work titled Formalizing FreeRTOS: First Steps at the 12th Brazilian Symposium on Formal Methods (SBMF 2009). This paper is now available through this link.

INES at PAAR’2010

UFRN affiliated INES researcher David Déharbe, together with LORIA colleagues Thomas Bouton, Diego Caminha B. de Oliveira and Pascal Fontaine have their paper GridTPT: a distributed platform for Theorem Prover Testing accepted for publication at the 2010 edition of the Worshop on Practical Aspects of Automated Reasoning, a.k.a PAAR-2010. The event will be part of the Federated Logic Conference 2010 (FLoC).

The paper presents a grid-based infrastructure used in the automated testing of the SMT-solver veriT with a data base of thousands of benchmarks.