{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:19:36Z","timestamp":1740107976134,"version":"3.37.3"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005722","name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005722","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This is the second issue in the new \u201cCompetitions and Challenges\u201d (CoCha) theme of the International Journal on Software Tools for Technology Transfer. The new theme was established to support competitions and challenges with an appropriate publication venue. The first issue presented the competition on software testing Test-Comp\u00a02019, which was part of the TOOLympics 2019 event. In this second issue for TOOLympics, we present selected competition reports. The TOOLympics event took place as part of the 25-years celebration of the conference TACAS. The goal of the event was to provide an overview of competitions and challenges in the area of formal methods.<\/jats:p>","DOI":"10.1007\/s10009-021-00631-1","type":"journal-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T10:03:07Z","timestamp":1624010587000},"page":"879-881","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["TOOLympics II: competitions on formal methods"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4832-7662","authenticated-orcid":false,"given":"Dirk","family":"Beyer","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4467-072X","authenticated-orcid":false,"given":"Marieke","family":"Huisman","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5626-828X","authenticated-orcid":false,"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9619-1558","authenticated-orcid":false,"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"631_CR1","doi-asserted-by":"publisher","unstructured":"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\u00a0(3), LNCS\u00a011429, pp. 3\u201324. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-17502-3_1","DOI":"10.1007\/978-3-030-17502-3_1"},{"key":"631_CR2","doi-asserted-by":"publisher","unstructured":"Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.): Proc. TACAS\u00a0(3): 25 Years of TACAS: TOOLympics, LNCS\u00a011429. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-17502-3","DOI":"10.1007\/978-3-030-17502-3"},{"issue":"1","key":"631_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10009-017-0469-y","volume":"21","author":"D Beyer","year":"2019","unstructured":"Beyer, D., L\u00f6we, S., Wendler, P.: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transfer 21(1), 1\u201329 (2019). https:\/\/doi.org\/10.1007\/s10009-017-0469-y","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"631_CR4","doi-asserted-by":"publisher","unstructured":"Dross, C., Furia, C.A., Huisman, M., Monahan, R., M\u00fcller, P.: VerifyThis 2019: A program verification competition. Int. J. Softw. Tools Technol. Transf. (2021). https:\/\/doi.org\/10.1007\/s10009-021-00619-x","DOI":"10.1007\/s10009-021-00619-x"},{"key":"631_CR5","doi-asserted-by":"publisher","unstructured":"Howar, F., Jasper, M., Mues, M., Schmidt, D., Steffen, B.: The RERS challenge: Towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. (2021). https:\/\/doi.org\/10.1007\/s10009-021-00617-z","DOI":"10.1007\/s10009-021-00617-z"},{"key":"631_CR6","doi-asserted-by":"publisher","unstructured":"Kordon, F., Hulin-Hubard, F.: BenchKit: A tool for massive concurrent benchmarking. In: Proc. ACSD, pp. 159\u2013165. IEEE (2014). https:\/\/doi.org\/10.1109\/ACSD.2014.12","DOI":"10.1109\/ACSD.2014.12"},{"key":"631_CR7","doi-asserted-by":"publisher","unstructured":"Kordon, F., J\u00e9z\u00e9quel, L., Paviot-Adet, E., Hulin-Hubard, F., Hillah, L.M.: Study of the efficiency of model checking techniques using results of the MCC from 2015 to 2019. Int. J. Softw. Tools Technol. Transf. (2021). https:\/\/doi.org\/10.1007\/s10009-021-00615-1","DOI":"10.1007\/s10009-021-00615-1"},{"key":"631_CR8","unstructured":"Kordon, F., Seidl, M., van de Pol, J.: Lorentz workshop on advancing verification competitions as a scientific method. Tech. rep, Lorentz Center (2019)"},{"key":"631_CR9","doi-asserted-by":"publisher","unstructured":"Middeldorp, A., Nagele, J., Shintani, K.: CoCo 2019: Report on the 8th confluence competition. Int. J. Softw. Tools Technol. Transf. (2021). https:\/\/doi.org\/10.1007\/s10009-021-00620-4","DOI":"10.1007\/s10009-021-00620-4"},{"key":"631_CR10","doi-asserted-by":"publisher","unstructured":"Sighireanu, M.: SL-COMP: Competition of solvers for separation logic: Report on the third edition. Int. J. Softw. Tools Technol. Transf. (2021). https:\/\/doi.org\/10.1007\/s10009-021-00628-w","DOI":"10.1007\/s10009-021-00628-w"},{"key":"631_CR11","doi-asserted-by":"publisher","unstructured":"Stump, A., Sutcliffe, G., Tinelli, C.: StarExec: A\u00a0cross-community infrastructure for logic solving. In: Proc. IJCAR, LNCS\u00a08562, pp. 367\u2013373. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-08587-6_28","DOI":"10.1007\/978-3-319-08587-6_28"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00631-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-021-00631-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00631-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,26]],"date-time":"2021-12-26T12:03:19Z","timestamp":1640520199000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-021-00631-1"}},"subtitle":["A Special Issue for TOOLympics 2019"],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["631"],"URL":"https:\/\/doi.org\/10.1007\/s10009-021-00631-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"20 May 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}