Azat Abdullin
Research Groups
Biography
Postgraduate student at St. Petersburg Polytechnic University (Department of Computer Systems and Software Technologies).
Professional Activity
Currently I am working on a concolic testing engine for Kotlin language called KEX.
Also I hold a teaching assistant position in St. Petersburg Polytechnic University and teach "Programming technologies" and "Algorithms and Data Structures" cources.
Publications
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
2017
Azat Abdullin, Daniil Stepanov, Marat Akhin
TMPA 2017: Tools and Methods of Program Analysis (pp. 1--10)
By the power of SMT! Mining Function Contracts to Better Bounded Model Checking
September 2016
Azat Abdullin, Marat Akhin
SoftwareMining 2016: Proceedings of the 5th International Workshop on Software Mining