Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal: TSTL: a language and tool for testing (demo). ISSTA 2015: 414-417