Static Backward Program Slicing for Safety-Critical Systems. - Husni Khanfar; Björn Lisper; Abu Naser Masud (Ada-Europe, 2015)

Static Backward Demand-Driven Slicing. - Björn Lisper; Abu Naser Masud; Husni Khanfar (PEPM, 2015)