INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

January 2018
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
293031  

 
  • 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.