TOOLympics I: Competition on software testingA special issue for Test-Comp 2019

被引:0
|
作者
Dirk Beyer
Marieke Huisman
机构
[1] LMU Munich,
[2] University of Twente,undefined
来源
International Journal on Software Tools for Technology Transfer | 2021年 / 23卷
关键词
Competition; Challenge; TOOLympics; Software testing; Test-case generation; Coverage analysis; Software tools; Technology transfer; Comparative evaluation;
D O I
暂无
中图分类号
学科分类号
摘要
Research competitions and challenges are a driving force in transferring theoretical results into working software tools that demonstrate the state of the art in the respective field of research. Regular comparative evaluations provide guidance to practitioners that have to select new technology and tools for their development process. In order to support competitions and challenges with an appropriate publication venue, a new theme of issues in the International Journal on Software Tools for Technology Transfer was created. This issue is the inaugural issue of the newly introduced theme on “Competitions and Challenges” (CoCha). Test-Comp, the International Competition on Software Testing, is an example of a tool competition, where the research teams submit tools for test-generation, and the competition evaluates the tools and assigns scores according to achieved coverage. Test-Comp 2019 was part of the TOOLympics event, which took place as part of the 25-year celebration of the conference TACAS. Thus, it is most natural to start the new STTT-CoCha theme with a special issue that describes the results and participating systems of Test-Comp 2019. There will be a second issue on TOOLympics with contributions from other competitions.
引用
收藏
页码:829 / 832
页数:3
相关论文
共 6 条
  • [1] TOOLympics I: Competition on software testing A special issue for Test-Comp 2019
    Beyer, Dirk
    Huisman, Marieke
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2021, 23 (06) : 829 - 832
  • [2] Second Competition on Software Testing: Test-Comp 2020
    Beyer, Dirk
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2020), 2020, 12076 : 505 - 519
  • [3] TOOLympics II: competitions on formal methodsA Special Issue for TOOLympics 2019
    Dirk Beyer
    Marieke Huisman
    Fabrice Kordon
    Bernhard Steffen
    International Journal on Software Tools for Technology Transfer, 2021, 23 : 879 - 881
  • [4] Advances in Automatic Software Testing: Test-Comp 2022
    Beyer, Dirk
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2022, 2022, 13241 : 321 - 335
  • [5] Status Report on Software Testing: Test-Comp 2021
    Beyer, Dirk
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2021), 2021, 12649 : 341 - 357
  • [6] Software Testing: 5th Comparative Evaluation: Test-Comp 2023
    Beyer, Dirk
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2023, 2023, 13991 : 309 - 323