INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

December 2021
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
2728293031  

 
  • INES at SAST 2011

    (0)
    Publicado em August 10th, 2011Uncategorized

    The INES project will be present in 5th Brazilian Workshop on Systematic and Automated Software Testing (SAST)  through the regular paper
    “WSA-RT: Uma Técnica para a Seleção de Casos de Teste de Regressão baseados em Especificação”, authored by Francisco G. Oliveira Neto e Patrícia D. L. Machado.

    This work was developed inside the project Combining Formal Methods and Testing to Develop Embedded Real Time Systems — in Portuguese, Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real.

     

Leave a Reply

You must be logged in to post a comment.