QUARK: Empirical Assessment of Automaton-based Specification Miners

@article{Lo2006QUARKEA,
  title={QUARK: Empirical Assessment of Automaton-based Specification Miners},
  author={David Lo and Siau-Cheng Khoo},
  journal={2006 13th Working Conference on Reverse Engineering},
  year={2006},
  pages={51-60}
}
Software is 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. There has been much work on reverse engineering or mining software temporal specification, using dynamic analysis techniques; i.e., analysis of software program traces. Unfortunately, the issues of scalability, robustness and… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 72 CITATIONS, ESTIMATED 37% COVERAGE

196 Citations

02040'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 196 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…