Formalization of Software Testing Criteria using the Z Notation.

Sergiy A. Vilkomir, Jonathan P. Bowen

Browse the full COMPSAC paper archive.