INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

August 2013
M T W T F S S
« Jul   Sep »
 1234
567891011
12131415161718
19202122232425
262728293031  

 
  • UFRN researchers at CBSoft 2013

    (0)
    Publicado em August 1st, 2013Expenses, Publications

    PhD student Ernesto Cid Brasil de Matos will present the BETA tool for unit test generation from formal B models at CBSoft 2013. Prof. Anamaria Martins Moreira, supervisor and responsible of this year’s workshop selection and member of some CBSoft 2013 program comittees, will also be there. This activity is part of the project “Confiabilidade e Segurança em Software Crítico”.

    In another line of work on testing, Viviane de Menezes Ramalho, master student supervised by Anamaria,  will present at SAST 2013 (CBSoft satellite workshop) the paper Application of a syntax-based testing method and tool to software product lines.