Instrumenting Microservices for Concurrent Audit Logging: Beyond Horn Clauses. - Nicolas D. Ahn; Sepehr Amir-Mohammadian (COMPSAC, 2022)