期刊
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
卷 38, 期 2, 页码 243-257出版社
IEEE COMPUTER SOC
DOI: 10.1109/TSE.2011.105
关键词
Specification mining; test case generation; typestate analysis
资金
- Deutsche Forschungsgemeinschaft [Ze509/4-1]
- Hasler-Stiftung [2327]
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据