{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:48:16Z","timestamp":1750308496324,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,9]],"date-time":"2022-05-09T00:00:00Z","timestamp":1652054400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,9]]},"DOI":"10.1145\/3526072.3527527","type":"proceedings-article","created":{"date-parts":[[2023,2,3]],"date-time":"2023-02-03T23:07:05Z","timestamp":1675465625000},"page":"35-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Kex at the 2022 SBST tool competition"],"prefix":"10.1145","author":[{"given":"Azat","family":"Abdullin","sequence":"first","affiliation":[{"name":"JetBrains Research, Saint Petersburg, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marat","family":"Akhin","sequence":"additional","affiliation":[{"name":"JetBrains Research, Saint Petersburg, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail","family":"Belyaev","sequence":"additional","affiliation":[{"name":"JetBrains Research, Saint Petersburg, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,2,3]]},"reference":[{"unstructured":"2022. Kex-reflection. Retrieved March 2 2022 from https:\/\/github.com\/vorpal-research\/kex\/tree\/sbst2022-reflection  2022. Kex-reflection. Retrieved March 2 2022 from https:\/\/github.com\/vorpal-research\/kex\/tree\/sbst2022-reflection","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1109\/SBST52555.2021.00014"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.31799\/1684-8853-2022-1-30-43"},{"key":"e_1_3_2_1_4_1","volume-title":"15th IEEE\/ACM International Workshop on Search-Based Software Testing, SBST 2022","author":"Alessio Gambi","year":"2022","unstructured":"Gambi Alessio , Jahangirova Gunel , Riccio Vincenzo , and Zampetti Fiorella . 2022 . SBST Tool Competition 2022 . In 15th IEEE\/ACM International Workshop on Search-Based Software Testing, SBST 2022 , Pittsburgh, PA, USA , May 9, 2022. Gambi Alessio, Jahangirova Gunel, Riccio Vincenzo, and Zampetti Fiorella. 2022. SBST Tool Competition 2022. In 15th IEEE\/ACM International Workshop on Search-Based Software Testing, SBST 2022, Pittsburgh, PA, USA, May 9, 2022."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/978-3-642-00768-2_16"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Moura Leonardo De","unstructured":"Leonardo De Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An efficient SMT solver . In Tools and Algorithms for the Construction and Analysis of Systems . Springer-Verlag , 337--340. Leonardo De Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag, 337--340.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","volume-title":"STP constraint solver: Simple theorem prover SMT solver. Retrieved","author":"Ganesh Vijay","year":"2022","unstructured":"Vijay Ganesh and Trevor Hansen . 2022. STP constraint solver: Simple theorem prover SMT solver. Retrieved March 2, 2022 from https:\/\/stp.github.io\/ Vijay Ganesh and Trevor Hansen. 2022. STP constraint solver: Simple theorem prover SMT solver. Retrieved March 2, 2022 from https:\/\/stp.github.io\/"},{"key":"e_1_3_2_1_8_1","first-page":"151","article-title":"Automated Whitebox Fuzz Testing","volume":"8","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid , Michael Y Levin , David A Molnar , 2008 . Automated Whitebox Fuzz Testing .. In NDSS , Vol. 8. 151 -- 166 . Patrice Godefroid, Michael Y Levin, David A Molnar, et al. 2008. Automated Whitebox Fuzz Testing.. In NDSS, Vol. 8. 151--166.","journal-title":"NDSS"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"acronym":"ICSE '22","name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania"},"container-title":["Proceedings of the 15th Workshop on Search-Based Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3526072.3527527","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3526072.3527527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:43:46Z","timestamp":1750272226000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3526072.3527527"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,9]]},"references-count":8,"alternative-id":["10.1145\/3526072.3527527","10.1145\/3526072"],"URL":"https:\/\/doi.org\/10.1145\/3526072.3527527","relation":{},"subject":[],"published":{"date-parts":[[2022,5,9]]},"assertion":[{"value":"2023-02-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}