Статья Генерация слабейших предусловий программ с динамической памятью в символьном исполнении Мисонижник А. В., Костюков Ю. О., Костицын М. П., Мордвинов Д. А., Кознов Д. В.