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]
Abstract is missing.