Using Runtime State Analysis to Decide Applicability of Dynamic Software Updates. - Oleg Selajev; Allan Gregersen (ICSOFT, 2017)

Genrih, a Runtime State Analysis System for Deciding the Applicability of Dynamic Software Updates. - Oleg Selajev; Allan Raundahl Gregersen (ICSOFT (Selected Papers), 2017)