INES – National Institute of Science and Technology for Software Engineering

INES at ICFEM 2011

The PhD studend Joabe Jesus, 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 13th International Conference on Formal Engineering Methods [ICFEM] that will be in Durham, UK, from 26 to October 28.

Publication details
Authors: Joabe Jesus, Alexandre Mota and Augusto Sampaio.
Title: Architectural Verification of Control Systems Using CSP