Azat Abdullin

According to our database, Azat Abdullin authored at least 4 papers between 2016 and 2023.

Collaborative distances:

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

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