INES – National Institute of Science and Technology for Software Engineering

INES at SBMF 2011

The MSc studend Diego Machado and the professor Juliano Iyoda, INES researchers members from the project Tests Generation, Selection, Prioritization and Processing Product Line — in portuguese, Linhas de Produtos de Geração, Seleção, Priorização e Processamento de Testes, has an accepted paper at the XIV Brazilian Symposium on Formal Methods (SBMF 2011) in the II Brazilian Conference on Software (CBSoft 2011), that will be in São Paulo, SP, from 26 to September 30.

Publication details
Authors: Diego Machado Dias and Juliano Manabu Iyoda.
Title: Behavioural Preservation in Fault Tolerant Patterns.

INES at SBMF 2010

The paper “Synchronizing Model and Program Refactoring” has been accepted for publication, and will be presented at the Brazilian Symposium of Formal Methods. The event will be held in Natal, in early November. The authors, Tiago Massoni, Rohit Gheyi and Paulo Borba, are part of several projects within INES. The published work is within the context of the “Making Program Evolution Safer” Project.