{TST: THE FUTURE CHAPTER OF APPLICATION VERIFICATION?