Azat Abdullin

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 4

Top Topics

Bounded Model Checking

Top Venues

SoftwareMining@ASE

Publications

Azat Abdullin, Marat Akhin
Kex at the SBFT 2023 Java Tool Competition. SBFT (2023)
Azat Abdullin, Marat Akhin, Mikhail A. Belyaev
Kex at the 2022 SBST Tool Competition. SBST@ICSE (2022)
Azat Abdullin, Marat Akhin, Mikhail A. Belyaev
Kex at the 2021 SBST Tool Competition. SBST@ICSE (2021)
Azat Abdullin, Marat Akhin
By the power of SMT! mining function contracts to better bounded model checking. SoftwareMining@ASE (2016)