MDebugger: a model-level debugger for UML-RT. - Mojtaba Bagherzadeh; Nicolas Hili; David Seekatz; Juergen Dingel (ICSE (Companion Volume), 2018)

Lifting On-Demand Analysis to Higher-Order Languages. - Daniel Schoepe; David Seekatz; Ilina Stoilkovska; Sandro Stucki; Daniel Tattersall; Pauline Bolignano; Franco Raimondi; Bor-Yuh Evan Chang (SAS, 2023)