Mining Patterns and Rules for Software Specification Discovery
Summary: Novel data-mining methods to reverse engineer software specifications from execution traces treated as sequence data. Employs pattern mining and rule mining to extract specifications at scale, with industrial trace case studies demonstrating recoverability and practical utility. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. David Lo
- 2. Siau-Cheng Khoo
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 1 of 1 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,307 | Mining Periodic Patterns with Gap Requirement from Sequences | 2005 | SIGMOD | 6.2885419e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 13,889 | Towards Data Mining Benchmarking: A Test Bed for Performance Study of Frequent Pattern Mining | 2000 | SIGMOD | - |
| 820 | GraphMiner: A Structural Pattern-Mining System for Large Disk-based Graph Databases and Its Applications | 2005 | SIGMOD | 0.00016289354 |
| 4,716 | Mining Graph Patterns Efficiently via Randomized Summaries | 2009 | VLDB | 5.9755569e-05 |
| 5,336 | SPIRIT: Sequential Pattern Mining with Regular Expression Constraints | 1999 | VLDB | 5.5641083e-05 |
| 732 | Discovering Data Quality Rules | 2008 | VLDB | 0.00017465093 |
| 7,973 | Pattern Matching and Pattern Discovery in Scientific, Program, and Document Databases | 1995 | SIGMOD | 4.613363e-05 |
| 3,871 | A New SQL-like Operator for Mining Association Rules | 1996 | VLDB | 6.6794637e-05 |
| 6,067 | IL-Miner: Instance-Level Discovery of Complex Event Patterns | 2017 | VLDB | 5.2290408e-05 |
| 11,246 | Mining Frequent Infix Patterns from Concurrency-Aware Process Execution Variants | 2023 | VLDB | 4.1945683e-05 |
| 14,020 | Data Mining Techniques | 1996 | SIGMOD | - |