Abstract Machine Test Utility (AMTU)