Run-Time Checking Multi-threaded Java Programs. - de Boer, Frank S.; de Gouw, Stijn (SOFSEM 2016: Theory & Practice of Computer Science, 2016)