Run-Time Checking Multi-threaded Java Programs

Frank S. de Boer, Stijn de Gouw. Run-Time Checking Multi-threaded Java Programs. In Rusins Martins Freivalds, Gregor Engels, Barbara Catania, editors, SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. Volume 9587 of Lecture Notes in Computer Science, pages 217-228, Springer, 2016. [doi]

Abstract

Abstract is missing.