INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

February 2011
M T W T F S S
« Jan   Mar »
 123456
78910111213
14151617181920
21222324252627
28  

 
  • INES at 3rd NASA Formal Methods Symposium

    (0)
    Publicado em February 10th, 2011Uncategorized

    The professor Marcelo d’Amorim, INES researcher member from the project Tests Generation, Selection, Prioritization and Processing Product Line — in portuguese, Linhas de Produtos de Geração, Seleção, Priorização e Processamento de Testes, has an accepted paper at 3rd NASA Formal Methods Symposium that will be in Pasadena, California , from 18 to April 20.

    Publication details

    Authors -  Matheus Souza, Mateus Borges, Marcelo d’Amorim and Corina Pasareanu.

    Title - CORAL: Solving Complex Constraints for Symbolic PathFinder