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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document