Mining Temporal Specifications for Error Detection
Abstract elided by the publisher.
Related papers
- Mining specifications POPL 2002
- Temporal Specification Mining for Anomaly Analysis APLAS 2013
- DTMiner: A Data-Centric System for Efficient Temporal Motif Mining PPoPP 2026
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models CAV 2023
- Typestate-based semantic code search over partial programs OOPSLA 2012
- Declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes GPCE 2013
- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic TACAS 2022
- Static specification inference using predicate mining PLDI 2007