Scenario-Based and Value-Based Specification Mining: Better Together
Specification mining takes execution traces as input and extracts likely program invariants, which can be used for comprehension, verification, and evolution related tasks. In this work we integrate scenario-based specification mining, which uses a data-mining algorithm to suggest ordering constrain...
Saved in:
| Main Authors: | , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2012
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/1558 https://ink.library.smu.edu.sg/context/sis_research/article/2557/viewcontent/Scenario_based_value_based_specification_mining_better_av_2012.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|