Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Live sequence charts (2)
- Specification mining (2)
- Antagonistic group (1)
- Behavior preservation (1)
- Behavioral models (1)
-
- Bug Severity (1)
- Closed pattern (1)
- Collaborative Networks (1)
- Collateral evolution (1)
- Community detection (1)
- Duplicate Bug Reports (1)
- Dynamic analysis (1)
- Empirical validation (1)
- Exploration (1)
- FSA inference (1)
- False negatives (1)
- Fault Locality (1)
- Fault Localization (1)
- Fault Localization (1)
- Field defects (1)
- Frequent pattern mining (1)
- GPU (1)
- Industry Experience (1)
- Information Flow (1)
- Information Retrieval (1)
- Java (1)
- K-anonymity (1)
- Live Sequence Charts (1)
- Parallel algorithm (1)
- Privacy preservation (1)
Articles 61 - 62 of 62
Full-Text Articles in Physical Sciences and Mathematics
Quark : Empirical Assessment Of Automaton-Based Specification Miners, David Lo, Siau-Cheng Khoo
Quark : Empirical Assessment Of Automaton-Based Specification Miners, David Lo, Siau-Cheng Khoo
David LO
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 …
Specification Mining: A Concise Introduction, David Lo, Siau-Cheng Khoo, Chao Liu, Jiawei Han
Specification Mining: A Concise Introduction, David Lo, Siau-Cheng Khoo, Chao Liu, Jiawei Han
David LO
No abstract provided.