Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias. Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. In Martin Gogolla, Burkhart Wolff, editors, Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Volume 6706 of Lecture Notes in Computer Science, pages 84-101, Springer, 2011. [doi]

This author has not been identified. Look up 'Renzo Degiovanni' in GoogleThis author has not been identified. Look up 'Pablo Ponzio' in GoogleThis author has not been identified. Look up 'Nazareno Aguirre' in GoogleThis author has not been identified. Look up 'Marcelo F. Frias' in Google

runs on WebDSL