Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias

Charanraj Thimmisetty, Praveen Tiwari, Didac Gil de la Iglesia +4

Analysis of large observational data sets generated by a reactive system is a common challenge in debugging system failures and determining their root cause. One of the major probl…