Tools and Methods of Program Analysis - Anna Kalenkova; Lozano, Jose A.; Yavorskiy, Rostislav (Springer International Publishing, 2021)