Towards Better Quality Specification Miners
Softwares are often built without specification. Tools to automatically extract specification from software are needed and many techniques have been proposed. One type of these specifications – temporal API specification – is often specified in the form of automaton (i.e., FSA/PFSA). There have been many...
Saved in:
Main Authors: | LO, David, KHOO, Siau-Cheng |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2006
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/1280 https://ink.library.smu.edu.sg/context/sis_research/article/2279/viewcontent/qualityminingframework_tech.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
QUARK : Empirical Assessment of Automaton-based Specification Miners
by: LO, David, et al.
Published: (2006) -
SMArTIC: Towards Building an Accurate, Robust and Scalable Specification Miner
by: LO, David, et al.
Published: (2006) -
LM: A Miner for Scenario-Based Specifications
by: DOAN, Tuan Anh, et al.
Published: (2010) -
Mining Software Specifications
by: LO, David, et al.
Published: (2009) -
Mining Patterns and Rules for Software Specification Discovery
by: LO, David, et al.
Published: (2008)