Mining Software Specifications - Chapman & Hall/CRC Data Mining and Knowledge Discovery Series
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By CRC Press

9781439806265, 9781439806272
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

DynaMine

2011 ◽  
pp. 201-239 ◽  
Author(s):  
Benjamin Livshits ◽  
Thomas Zimmermann

Static API Specification Mining

2011 ◽  
pp. 113-158
Author(s):  
Mithun Acharya ◽  
Tao Xie
Keyword(s):  
Specification Mining

Mining API Usage Protocols from Large Method Traces

2011 ◽  
pp. 85-112
Author(s):  
Michael Pradel ◽  
Thomas Gross
Keyword(s):  
Api Usage

Mining Finite-State Automata with Annotations

2011 ◽  
pp. 29-57 ◽  
Author(s):  
Leonardo Mariani ◽  
Fabrizio Pastore ◽  
Mauro Pezzè ◽  
Mauro Santoro
Keyword(s):  
Finite State Automata ◽  
Finite State

Path-Aware Static Program Analyses for Specification Mining

2011 ◽  
pp. 309-355
Author(s):  
Muralikrishna Ramanathan ◽  
Ananth Grama ◽  
Suresh Jagannathan
Keyword(s):  
Specification Mining

Specification Mining

2011 ◽  
pp. 1-27 ◽  
Author(s):  
David Lo ◽  
Siau-Cheng Khoo ◽  
Jiawei Han
Keyword(s):  
Specification Mining

Lightweight Mining of Object Usage

2011 ◽  
pp. 411-431
Author(s):  
Andrzej Wasylkowski ◽  
Andreas Zeller
Keyword(s):  
Object Usage
Load More ...
Sign in / Sign up

Export Citation Format

Share Document