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 条
  • [1] Experimentation in the Operating System: The Windows Experimentation Platform
    Li, Paul Luo
    Dmitriev, Pavel
    Hu, Huibin Mary
    Chai, Xiaoyu
    Dimov, Zoran
    Paddock, Brandon
    Li, Ying
    Kirshenbaum, Alex
    Niculescu, Irina
    Thoresen, Taj
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE (ICSE-SEIP 2019), 2019, : 21 - 30
  • [2] Adversarial Specification Mining
    Kang, Hong Jin
    Lo, David
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 30 (02)
  • [3] Deep Specification Mining
    Le, Tien-Duy B.
    Lo, David
    ISSTA'18: PROCEEDINGS OF THE 27TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2018, : 106 - 117
  • [4] An Experimentation Framework for Specification and Verification of Web Services
    Katra, Szymon
    Daszczuk, Wiktor B.
    Czejdo, Denny B.
    PROCEEDINGS OF THE 2022 17TH CONFERENCE ON COMPUTER SCIENCE AND INTELLIGENCE SYSTEMS (FEDCSIS), 2022, : 913 - 917
  • [5] An Experimentation Platform for Precision Medicine
    Nguyen, Vincent
    Karimi, Sarvnaz
    Jin, Brian
    PROCEEDINGS OF THE 42ND INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR '19), 2019, : 1357 - 1360
  • [6] FreeLab: A Free Experimentation Platform
    Varvello, Matteo
    Perino, Diego
    HOTNETS-XVI: PROCEEDINGS OF THE 16TH ACM WORKSHOP ON HOT TOPICS IN NETWORKS, 2017, : 80 - 86
  • [7] A Virtual Platform for Network Experimentation
    Landsiedel, Olaf
    Kunz, Georg
    Goetz, Stefan
    Wehrle, Klaus
    VISA 09, 2009, : 45 - 52
  • [8] General LTL Specification Mining
    Lemieux, Caroline
    Park, Dennis
    Beschastnikh, Ivan
    2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 81 - 92
  • [9] Specification mining for asynchronous controllers
    de San Pedro, Javier
    Bourgeat, Thomas
    Cortadella, Jordi
    2016 22ND IEEE INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, 2016, : 107 - 114
  • [10] Deep Specification Mining with Attention
    Cao, Zhi
    Zhang, Nan
    COMPUTING AND COMBINATORICS (COCOON 2020), 2020, 12273 : 186 - 197