.png){kind=icon}
返回
Automatically Generating Test Cases for Specification Mining
.png){kind=icon}
PRE
AI
DOI：10.1109/TSE.2011.105.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The TAUTOKO (Tautoko is the Maori word for enhance, enrich.) typestate miner generates test cases that cover previously unobserved behavior, systematically extending the execution space, and enriching the specification. To our knowledge, this is the first combination of systematic test case generation and typestate mining-a combination with clear benefits: On a sample of 800 defects seeded into six Java subjects, a static typestate verifier fed with enriched models would report significantly more true positives and significantly fewer false positives than the initial models.
Keyword:
Specification mining
test case generation
typestate analysis
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
引用论文
Phosphoproteomics and Proteomics Reveal Metabolism as a Key Node in LPS-Induced Acute Inflammation in RAW264.7.png)
Inflammation
InflammationIF0
PREAI
分享收藏Association between Pre-Existing Sleep Disorders and Survival Rates of Patients with Breast CancerCancers
OAAI
CancersIF0
OAAI分享收藏The effects of transient attention on spatial resolution and the size of the attentional cue瞬态注意对空间分辨率和注意线索大小的影响
OAAI
OAAI分享收藏
查看更多内容