INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2017
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
27282930  

 
  • ForAll-UFRN-INES participation at the 9th International Conference on Tests & Proofs (TAP 2015)

    (0)
    Publicado em May 19th, 2015Uncategorized
    Ernesto C. B. de Matos, PhD student at UFRN, will attend the 9th International Conference on Tests & Proofs (TAP 2015), to present the paper “Verifying Code Generation Tools for the B-Method Using Tests: a Case Study”. This work presents the application of test techniques and tools developed by the group in the development and validation of other  (developed by the group and external) tools.
    This activity is part of the project “Confiabilidade e Segurança em Software Crítico”.

Leave a Reply

You must be logged in to post a comment.