INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2017
M T W T F S S
« Nov    
 123
45678910
11121314151617
18192021222324
252627282930  

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

    (0)
    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.

Leave a Reply

You must be logged in to post a comment.