Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications.

Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Browse the full TAP paper archive.