TOOLympics I: Competition on software testing
-
Published:2021-05-06
Issue:6
Volume:23
Page:829-832
-
ISSN:1433-2779
-
Container-title:International Journal on Software Tools for Technology Transfer
-
language:en
-
Short-container-title:Int J Softw Tools Technol Transfer
Author:
Beyer DirkORCID, Huisman MariekeORCID
Abstract
AbstractResearch 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.
Funder
Ludwig-Maximilians-Universität München
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference27 articles.
1. Aoto, T., Hirokawa, N., Nagele, J., Nishida, N., Zankl, H.: Confluence Competition 2015. In: Proc. CADE-25, LNCS 9195, pp. 101–104. Springer (2015). https://doi.org/10.1007/978-3-319-21401-6_5 2. Barrett, C., de Moura, L., Stump, A.: Design and results of the 1st Satisfiability Modulo Theories Competition (SMT-COMP 2005). J. Autom. Reason. 35(4), 373–390 (2005). https://doi.org/10.1007/s10817-006-9026-1 3. Bartocci, E., Beyer, D., Black, P.E., Fedyukovich, G., Garavel, H., Hartmanns, A., Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T., Yamada, A.: TOOLympics 2019: An overview of competitions in formal methods. In: Proc. TACAS (3), LNCS 11429, pp. 3–24. Springer (2019). https://doi.org/10.1007/978-3-030-17502-3_1 4. Bartocci, E., Bonakdarpour, B., Falcone, Y.: First international competition on software for runtime verification. In: Proc. RV, LNCS 8734, pp. 1–9. Springer (2014). https://doi.org/10.1007/978-3-319-11164-3_1 5. Berre, D.L., Simon, L.: The essentials of the SAT 2003 competition. In: Proc. SAT 2003, LNCS 2919, pp. 452–467. Springer (2004). https://doi.org/10.1007/978-3-540-24605-3_34
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
|
|