Please use this identifier to cite or link to this item:
Title: QUARK: Empirical assessment of automaton-based specification miners
Authors: Lo, D.
Khoo, S.-C. 
Issue Date: 2006
Source: Lo, D.,Khoo, S.-C. (2006). QUARK: Empirical assessment of automaton-based specification miners. Proceedings - Working Conference on Reverse Engineering, WCRE : 51-60. ScholarBank@NUS Repository.
Abstract: 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 accuracy of these techniques have not been comprehensively addressed. In this paper, we describe QUARK(QUality Assurance framewoRK) that enables assessments of the performance of a specification miner in generating temporal specification of software through traces recorded from its API interaction. QUARK requires the temporal specification produced by the miner to be expressed as an automaton. It accepts a user-defined simulator automaton and a specification miner. It produces quality assurance measures on the specification generated by the miner. Extensive experiments on 3 specification miners have been performed to demonstrate the usefulness of our proposed framework. © 2006 IEEE.
Source Title: Proceedings - Working Conference on Reverse Engineering, WCRE
ISBN: 0769527191
ISSN: 10951350
DOI: 10.1109/WCRE.2006.47
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Dec 13, 2017

Page view(s)

checked on Dec 9, 2017

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.