Kex at the 2022 SBST tool competition-Reference-Cited by-同舟云学术

Kex at the 2022 SBST tool competition

Published:2022-05-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 15th Workshop on Search-Based Software Testing
language:
Short-container-title:

Author:

Abdullin Azat¹,Akhin Marat¹,Belyaev Mikhail¹

Affiliation:

1. JetBrains Research, Saint Petersburg, Russia

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3526072.3527527

Reference8 articles.

1. 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

2. Kex at the 2021 SBST Tool Competition

3. Kex: A Platform For Analysis Of JVM Programs

4. 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.

5. Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Choosing the Right Automated Software Testing Tools;2024 IEEE 4th International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering (MI-STA);2024-05-19

2. Kex at the SBFT 2024 Tool Competition;Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing;2024-04-14

3. Kex at the SBFT 2023 Java Tool Competition;2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT);2023-05

4. JUGE : An infrastructure for benchmarking Java unit test generators;Software Testing, Verification and Reliability;2022-12-20