Automating System Tests Using Declarative Virtual Machines | IEEE Conference Publication | IEEE Xplore