Antonio L. Furtado;Paulo A. S. Veloso;José Mauro V. de Castilho
-;-;-
Automated test plan generator for database applications systems
ACM SIGSMALL/PC Notes
An informal approach to formal specifications
ACM SIGMOD Record