INES – National Institute of Science and Technology for Software Engineering

RSS feed


October 2012
« Sep   Nov »

  • INES wins CBSoft2012 best tool, again (3rd time in 3 CBSoft editions)

    Publicado em October 2nd, 2012Uncategorized

    SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems won the best tool award at the CBSoft 2012 (Brazilian Conference on Software: Theory and Practice) tools section . The authors are Wilkerson Andrade (UFCG), Diego Almeida (UFCG), Jeanderson Cândido (UFCG), and Patricia Machado (UFCG).

    At the 1st CBSoft (2012) INES researchers won the best tool prize with TaRGeT. In the 2nd edition all awarded best tools were from INES researchers.

    The Tool Session is a forum for researchers and practitioners to present and discuss commercial and noncommercial computational tools designed to support software development activities. The Tool Session focus on three main areas: software engineering (including software component, architecture, and reuse); programming languages; and formal methods.

  • INES has two best papers at SBCARS 2012

    Publicado em October 2nd, 2012Uncategorized

    Two papers from INES researchers were awarded best papers at SBCARS VI – Brazilian Symposium on Components, Architecture and Software Reuse. The first place was the paper “Making Software Product Line Evolution Safer”, authored by Felype Ferreira (CIn-UFPE), Paulo Borba (CIn-UFPE), Gustavo Soares (UFCG) and Rohit Gheyi (UFCG). The second bast paper was  “Comparing Two Black-box Testing Strategies for Software Product Lines”, authored by Paola Accioly (CIn-UFPE), Paulo Borba (CIn – UFPE), and Rodrigo Bonifacio (UNB).

    The VI SBCARS – Brazilian Symposium on Components, Architecture and Software Reuse is a Brazilian SBC symposium that brings together researchers, students and professionals with a wide range of interests in software engineering component-based software architectures, and software reuse.