FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs

Jasmin Jahic, Thomas Bauer, Thomas Kuhn 0001, Norbert Wehn, Pablo Oliveira Antonino. FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs. In Kohei Arai, Supriya Kapoor, Rahul Bhatia, editors, Intelligent Computing - Proceedings of the 2020 Computing Conference, Volume 1, SAI 2020, London, UK, 16-17 July 2020. Volume 1228 of Advances in Intelligent Systems and Computing, pages 54-74, Springer, 2020. [doi]

Abstract

Abstract is missing.