Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal. TSTL: a language and tool for testing (demo). In Michal Young, Tao Xie, editors, Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. pages 414-417, ACM, 2015. [doi]
Abstract is missing.