A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio. A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. In Rohit Gheyi, David A. Naumann, editors, Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Volume 7498 of Lecture Notes in Computer Science, pages 67-82, Springer, 2012. [doi]

This author has not been identified. Look up 'Gustavo Carvalho' in GoogleThis author has not been identified. Look up 'Diogo Falcão' in GoogleThis author has not been identified. Look up 'Alexandre Mota' in GoogleThis author has not been identified. Look up 'Augusto Sampaio' in Google

runs on WebDSL