Temporal Specification Mining for Anomaly Analysis
Abstract elided by the publisher.
Related papers
- Mining Temporal Specifications for Error Detection TACAS 2005
- Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory TOPLAS 2014
- DTMiner: A Data-Centric System for Efficient Temporal Motif Mining PPoPP 2026
- Typestate-based semantic code search over partial programs OOPSLA 2012
- Mining specifications POPL 2002
- Real-Time Specification Inheritance Anomalies and Real-Time Filters ECOOP 1994
- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic TACAS 2022
- On-The-Fly Detection of Access Anomalies PLDI 1989