SpecTackle - A Specification Mining Experimentation Platform

被引:0
|
作者
Heumueller, Robert [1 ]
Nielebock, Sebastian [1 ]
Ortmeier, Frank [1 ]
机构
[1] Otto von Guericke Univ, Chair Software Engn, Fac Comp Sci, Magdeburg, Germany
关键词
Tool; Specification Mining; Experimentation; Validation; IDE;
D O I
10.1109/SEAA.2019.00036
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Nowadays, API Specification Mining is an important cornerstone of automated software engineering. In this paper, we introduce SpecTackle, an IDE-based experimentation platform aiming to facilitate experimentation and validation of specification mining algorithms and tools. SpecTackle strives toward (1) providing easy access to various specification mining tools, (2) simplifying configuration and usage through a shared interface, and (3) in-code visualization of pattern occurrences. The first version supports two heterogeneous mining tools, a third-party graph-based miner as well as a custom sequence mining tool. In the long term, SpecTackle envisions to also provide ground-truth benchmark projects, a unified pattern meta-model and parameter optimization for mining tools.
引用
收藏
页码:178 / 181
页数:4
相关论文
共 50 条
  • [21] From specification to experimentation:: A software component search engine architecture
    Garcia, Vinicius Cardoso
    Lucredio, Daniel
    Durao, Frederico Araujo
    Santos, Eduardo Cruz Reis
    de Almeida, Eduardo Santana
    Fortes, Renata Pontin de Mattos
    Meira, Silvio Romero De Lemos
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4063 : 82 - 97
  • [22] A new platform to easily experiment activity recognition systems based on passive RFID tags: Experimentation with data mining algorithms
    Rocher, P.-O.
    Bouchard, B.
    Bouzouane, A.
    International Journal of Smart Home, 2012, 6 (02): : 7 - 24
  • [23] PPTL specification mining based on LNFG
    Ning, Xinya
    Zhang, Nan
    Duan, Zhenhua
    Tian, Cong
    THEORETICAL COMPUTER SCIENCE, 2022, 937 : 85 - 95
  • [24] Generating test cases for specification mining
    Saarland University - Computer Science, Saarbrücken, Germany
    ISSTA - Proc. Int. Symp. Softw. Test. Anal., (85-95):
  • [25] Finding Related Events for Specification Mining
    Dai, Ziying
    Mao, Xiaoguang
    Chen, Liqian
    Lei, Yan
    Zhang, Yi
    2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2013, : 1 - +
  • [26] Scalable Specification Mining for Verification and Diagnosis
    Li, Wenchao
    Forin, Alessandro
    Seshia, Sanjit A.
    PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 755 - 760
  • [27] Specification Mining over Temporal Data
    Bergami, Giacomo
    Appleby, Samuel
    Morgan, Graham
    COMPUTERS, 2023, 12 (09)
  • [28] Specification Mining in Concurrent and Distributed Systems
    Kumar, Sandeep
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1086 - 1089
  • [29] Temporal logic specification mining of programs
    Zhang, Nan
    Yu, Bin
    Tian, Cong
    Duan, Zhenhua
    Yuan, Xiaoshuai
    THEORETICAL COMPUTER SCIENCE, 2021, 857 : 29 - 42
  • [30] Specification Mining with Few False Positives
    Le Goues, Claire
    Weimer, Westley
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 : 292 - 306