Azat Abdullin

According to our database, Azat Abdullin authored at least 8 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis.

Rustam Sadykov, Azat Abdullin, Marat Akhin

CoRR, April, 2025

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation.

Azat Abdullin, Pouria Derakhshanfar, Annibale Panichella

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2024

Evokex at the SBFT 2024 Tool Competition.

Rustam Sadykov, Azat Abdullin, Marat Akhin

Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024

Kex at the SBFT 2024 Tool Competition.

Azat Abdullin, Marat Akhin

Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024

2023

Kex at the SBFT 2023 Java Tool Competition.

Azat Abdullin, Marat Akhin

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

2022

Kex at the 2022 SBST Tool Competition.

Azat Abdullin, Marat Akhin, Mikhail A. Belyaev

Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

2021

Kex at the 2021 SBST Tool Competition.

Azat Abdullin, Marat Akhin, Mikhail A. Belyaev

Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021

2016

By the power of SMT! mining function contracts to better bounded model checking.

Azat Abdullin, Marat Akhin

Proceedings of the 5th International Workshop on Software Mining, 2016