{TST: THE FUTURE ERA OF APPLICATION VERIFICATION?