Specification Mining is a static code analysis technique that automatically infers program specifications, such as behavioral rules or constraints, from code or execution traces to distinguish correct from incorrect program behavior.
92
Publications
5.3K
Citations
196
Authors
90
Institutions
Publications per year
2017–2026
24
Parents
Publications
92
Glenn Ammons, Rastislav Bodík, James R. Larus · 2002 · 669 citations · Full text
Mining API patterns as partial orders from source code
Mithun Acharya, Tao Xie, Jian Pei et al. · 2007 · 261 citations
Mark Gabel, Zhendong Su · 2008 · 193 citations
David Lo, Siau‐Cheng Khoo · 2006 · 152 citations · Full text
1–5 of 92
Authors
196
- DL
16
h-index
- SK
7
h-index
- SM
7
h-index
- GP
6
h-index
- JR
4
h-index
1–5 of 196
Institutions
90
Singapore Management University
Singapore, Singapore
13 h-index
21 publications
727 citations
National University of Singapore
Singapore, Singapore
9 h-index
19 publications
945 citations
University of California, Berkeley
Berkeley, United States
6 h-index
11 publications
1.1K citations
Microsoft (United States)
Redmond, United States
6 h-index
8 publications
1.1K citations
University of Verona
Verona, Italy
6 h-index
17 publications
534 citations
University of Wisconsin–Madison
Madison, United States
5 h-index
9 publications
1.8K citations
ETH Zurich
Zurich, Switzerland
4 h-index
8 publications
445 citations
University of California, Davis
Davis, United States
4 h-index
8 publications
776 citations
1–8 of 90
Venues
- ACM SIGPLAN Notices
4 publications · 278 citations
4
h-index
- IEEE Transactions on Software Engineering
TSE · 4 publications · 200 citations
4
h-index
- arXiv (Cornell University)
Repository · 2 publications · 32 citations
2
h-index
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2 publications · 166 citations
2
h-index
- Automated Software Engineering
2 publications · 52 citations
2
h-index
1–5