Mining Patterns and Rules for Software Specification Discovery
Summary: Treats execution traces as sequence databases and applies pattern/rule mining to reverse-engineer missing software specifications. Demonstrates scalable discovery and practical utility on traces from a real industrial application. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. David Lo (National University of Singapore)
- 2. Siau-Cheng Khoo (National University of Singapore)
BibTeX Citation
@article{lo_vldb08,
title = {{Mining Patterns and Rules for Software Specification Discovery}},
author = {Lo, David and Khoo, Siau-Cheng},
journal = {PVLDB},
series = {{VLDB} '08},
doi = {10.14778/1454159.1454234},
url = {https://doi.org/10.14778/1454159.1454234},
year = {2008}
}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 |
|---|---|---|---|---|
| 6,359 | Mining Periodic Patterns with Gap Requirement from Sequences | 2005 | SIGMOD | 5.8092399e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 14,401 | Towards Data Mining Benchmarking: A Test Bed for Performance Study of Frequent Pattern Mining | 2000 | SIGMOD |
| 2 | 2,767 | GraphMiner: A Structural Pattern-Mining System for Large Disk-based Graph Databases and Its Applications | 2005 | SIGMOD |
| 3 | 4,647 | Mining Graph Patterns Efficiently via Randomized Summaries | 2009 | VLDB |
| 4 | 5,271 | SPIRIT: Sequential Pattern Mining with Regular Expression Constraints | 1999 | VLDB |
| 5 | 649 | Discovering Data Quality Rules | 2008 | VLDB |
| 6 | 8,459 | Pattern Matching and Pattern Discovery in Scientific, Program, and Document Databases | 1995 | SIGMOD |
| 7 | 4,231 | A New SQL-like Operator for Mining Association Rules | 1996 | VLDB |
| 8 | 11,758 | Mining Frequent Infix Patterns from Concurrency-Aware Process Execution Variants | 2023 | VLDB |
| 9 | 6,677 | IL-Miner: Instance-Level Discovery of Complex Event Patterns | 2017 | VLDB |
| 10 | 14,530 | Data Mining Techniques | 1996 | SIGMOD |