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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By CRC Press

9781439806265, 9781439806272

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Inference and Effective Application of Temporal Specifications

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

10.1201/b10928-9 ◽

2011 ◽

pp. 241-307

Author(s):

Jinlin Yang ◽

David Evans

Keyword(s):

Effective Application ◽

Automatic Inference ◽

Temporal Specifications

Download Full-text

DynaMine

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

10.1201/b10928-8 ◽

2011 ◽

pp. 201-239 ◽

Cited By ~ 1

Author(s):

Benjamin Livshits ◽

Thomas Zimmermann

Download Full-text

Static API Specification Mining

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

10.1201/b10928-6 ◽

2011 ◽

pp. 113-158

Author(s):

Mithun Acharya ◽

Tao Xie

Keyword(s):

Specification Mining

Download Full-text

Mining API Usage Protocols from Large Method Traces

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

10.1201/b10928-5 ◽

2011 ◽

pp. 85-112

Author(s):

Michael Pradel ◽

Thomas Gross

Keyword(s):

Api Usage

Download Full-text

Mining Finite-State Automata with Annotations

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

10.1201/b10928-3 ◽

2011 ◽

pp. 29-57 ◽

Cited By ~ 1

Author(s):

Leonardo Mariani ◽

Fabrizio Pastore ◽

Mauro Pezzè ◽

Mauro Santoro

Keyword(s):

Finite State Automata ◽

Finite State

Download Full-text

Index

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

10.1201/b10928-14 ◽

2011 ◽

pp. 433-442

Download Full-text

Path-Aware Static Program Analyses for Specification Mining

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

10.1201/b10928-10 ◽

2011 ◽

pp. 309-355

Author(s):

Muralikrishna Ramanathan ◽

Ananth Grama ◽

Suresh Jagannathan

Keyword(s):

Specification Mining

Download Full-text

Adapting Grammar Inference Techniques to Mine State Machines

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

10.1201/b10928-4 ◽

2011 ◽

pp. 59-83

Author(s):

Neil Walkinshaw ◽

Kirill Bogdanov

Keyword(s):

State Machines ◽

Grammar Inference ◽

Inference Techniques

Download Full-text

Specification Mining

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

10.1201/b10928-2 ◽

2011 ◽

pp. 1-27 ◽

Cited By ~ 1

Author(s):

David Lo ◽

Siau-Cheng Khoo ◽

Jiawei Han

Keyword(s):

Specification Mining

Download Full-text

Lightweight Mining of Object Usage

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

10.1201/b10928-13 ◽

2011 ◽

pp. 411-431

Author(s):

Andrzej Wasylkowski ◽

Andreas Zeller

Keyword(s):

Object Usage

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By CRC Press

Automatic Inference and Effective Application of Temporal Specifications

DynaMine

Static API Specification Mining

Mining API Usage Protocols from Large Method Traces

Mining Finite-State Automata with Annotations

Index

Path-Aware Static Program Analyses for Specification Mining

Adapting Grammar Inference Techniques to Mine State Machines

Specification Mining

Lightweight Mining of Object Usage

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