INES – National Institute of Science and Technology for Software Engineering

INES acquires equipments

The INES project “Combining Formal Methods and Testing in the Development of Real-Time Embedded Systems” is acquiring a cordless phone for audio conferences and an iPad for investigating testing with gyroscopes and accelerometers.

INES at DigiCosme Spring School

PhD students Simone Oliveira Santos and Ernesto Cid Brasil de Matos (UFRN) will participate in the first DigiCosme Spring School. The event will take place from April 22th to 26th at the Supélec campus in Gif, which is located on the Plateau de Saclay, near Paris, France. The school’s theme this year is Program Analysis and Verification. The school will discuss several aspects of this theme, including abstract interpretation, analysis of numerical precision, model-based testing, deductive program verification, verification of protocols and construction of certified program analysers.

Simone Santos will also visit the LIFO laboratory at University of Orleans (Orleans, France), where she is planning to spent her sandwich PhD year.

INES @ ICSE’13 / DAPSE’13

INES Researchers Christina Chavez, Rodrigo Souza and Roberto Bittencourt will attend ICSE’13 and DAPSE’13: International Workshop on Data Analysis Patterns in Software Engineering – http://research.microsoft.com/en-us/events/dapse2013/, to present two papers:

• Rodrigo Souza, Christina Chavez and Roberto Bittencourt. Patterns for Cleaning Up Bug Data
• Rodrigo Souza, Christina Chavez and Roberto A. Bittencourt. Patterns for Extracting High Level Information from Bug Reports

INES at 17th EASE – Part II

The paper “Cloud Testing Framework” authored by Crescencio Rodrigues Lima Neto (DCC-UFBA and IFBA), and Vinicius Cardoso Garcia (CIn-UFPE), has been accepted for publication at the 17th International Conference on Evaluation and Assessment in Software Engineering (EASE’2013). The conference will be held in April 14 – 16, 2013 at Porto de Galinhas, Brazil.

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.

A brief overview of the paper is given next

Cloud-based testing introduces a new set of challenges. While many companies are approaching cloud computing with cautious, testing appears to be next area of growing interest. This paper propose the development of a new framework focusing on cloud testing. We intend to define the activities, roles, techniques, and tools that will be used in an integrated framework. A research methodology containing all the steps that will be executed during the proposal implementation was defined. A schedule was suggested in order to allow the research development. We propose a new Cloud Testing framework and we present the research methodology and schedule that will be used to implement the proposal.

INES at AST/ICSE 2013

The paper “A Refactoring-Based Approach for Test Case Selection and Prioritization” by Everton Alves, Patricia Machado, Tiago Massoni and Samuel Santos has been accepted for publication at the 8th IEEE/ACM International Workshop on Automation of Software Test (AST 2013)/ICSE’2013. The event will be held in May 18 – 26, 2013 at San Francisco, CA, US. This activity is part of the project “Combining Formal Methods and Testing in the Development of Real-Time Embedded Systems”.