How many tests were used to verify de Vinci 's work " Lady with an Ermine " ?
GUI tests verify implementation graphical system for different objects Virtual machine tests ( includes JASM tests ) verify implementation of the VM core .