Mining Specifications: A Roadmap

被引：3
|
作者：
Zeller, Andreas [1 ]
机构：
[1] Univ Saarland, Saarbrucken, Germany
来源：
FUTURE OF SOFTWARE ENGINEERING | 2011年
关键词：
formal methods; software verification and testing; specifications; mining;
D O I：
10.1007/978-3-642-15187-3_13
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Recent advances in software validation and verification make it possible to widely automate whether a specification is satisfied. This progress is hampered, though, by the persistent difficulty of writing specifications. Are we facing a "specification crisis"? In this paper, I show how to alleviate the burden of writing specifications by reusing and extending specifications as mined from existing software and give an overview on the state of the art in specification mining, its origins, and its potential.
引用
收藏
页码：173 / 182
页数：10
相关论文
共 50 条
  • [1] Roadmap for mobile robot specifications
    Hattig, M
    Horswill, I
    Butler, J
    IROS 2003: PROCEEDINGS OF THE 2003 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-4, 2003, : 2410 - 2414
  • [2] Mining specifications
    Ammons, G
    Bodík, R
    Larus, JR
    ACM SIGPLAN NOTICES, 2002, 37 (01) : 4 - 16
  • [3] A roadmap to autonomous of airlines: specifications and communication protocols
    Jafarzadeh, Hadi
    INTERNATIONAL JOURNAL OF SUSTAINABLE AVIATION, 2018, 4 (01) : 63 - 77
  • [4] Mining Parametric Specifications
    Lee, Choonghwan
    Chen, Feng
    Rosu, Grigore
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 591 - 600
  • [5] Mining Performance Specifications
    Brunink, Marc
    Rosenblum, David S.
    FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 39 - 49
  • [6] A strategic roadmap for text mining
    Panagopoulou, G
    Knowledge Mining, 2005, 185 : 109 - 122
  • [7] Symbolic Mining of Temporal Specifications
    Gabel, Mark
    Su, Zhendong
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 51 - 60
  • [8] Mining Dataflow Sensitive Specifications
    Zuo, Zhiqiang
    Khoo, Siau-Cheng
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 36 - 52
  • [9] Mining Algorithm Roadmap in Scientific Publications
    Zha, Hanwen
    Chen, Wenhu
    Li, Keqian
    Yan, Xifeng
    KDD'19: PROCEEDINGS OF THE 25TH ACM SIGKDD INTERNATIONAL CONFERENCCE ON KNOWLEDGE DISCOVERY AND DATA MINING, 2019, : 1083 - 1092
  • [10] Mining Time for Timed Regular Specifications
    Narayan, Apurva
    Fischmeister, Sebastian
    2019 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2019, : 63 - 69
12345