Stepanov, D., Itsykson, V.: Backend Bug Finder — a platform for effective compiler fuzzing. Information and Control Systems(6), 31-40 (2022). doi:10.31799/1684-8853-2022-6-31-40