Example tests developed with the avocado-virt API/plugin