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 条
  • [31] Symbolic Automata for Static Specification Mining
    Peleg, Hila
    Shoham, Sharon
    Yahav, Eran
    Yang, Hongseok
    STATIC ANALYSIS, SAS 2013, 2013, 7935 : 63 - 83
  • [32] Specification Mining in Concurrent and Distributed Systems
    Kumar, Sandeep
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1161 - 1163
  • [33] A Qualitative Analysis on the Specification Mining Techniques
    Priya, Annie Ratna
    Mythily, M.
    2013 IEEE INTERNATIONAL CONFERENCE ON EMERGING TRENDS IN COMPUTING, COMMUNICATION AND NANOTECHNOLOGY (ICE-CCN'13), 2013, : 199 - 202
  • [34] Dynamic Specification Mining Based on Transformer
    Gao, Ying
    Wang, Meng
    Yu, Bin
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 220 - 237
  • [35] Specification of GNSS Application for Multiprocessor Platform
    Hurskainen, Heikki
    Raasakka, Jussi
    Nurmi, Jari
    2008 INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP, PROCEEDINGS, 2008, : 128 - 133
  • [36] A Platform for Requirement Based Formal Specification
    Pross, Uwe
    Markert, Erik
    Langer, Jan
    Richter, Andreas
    Drechsler, Chris
    Heinkel, Ulrich
    2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 237 - 238
  • [37] A platform for web augmentation requirements specification
    Firmenich, Diego
    Firmenich, Sergio
    Rivero, José MatíAs
    Antonelli, Leandro
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8541
  • [38] SPECIFICATION FOR A PROCESS PLANNING ENABLING PLATFORM
    HETEM, V
    CARR, K
    LUCENTI, M
    RUIZ, O
    ZHU, X
    FERREIRA, PM
    LU, SCY
    JOURNAL OF SYSTEMS ENGINEERING, 1995, 5 (01): : 48 - 59
  • [39] A platform for web augmentation requirements specification
    Firmenich, Diego (dfirmenich@tw.unp.edu.ar), 1600, Springer Verlag (8541):
  • [40] An Experimentation Platform for the Automatic Parallelization of R Programs
    Padberg, Frank
    Mirold, Michael
    2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 203 - 212