Techniques for Evolution-Aware Runtime Verification. - Owolabi Legunsen; Yi Zhang; Milica Hadzi-Tanovic; Grigore Rosu; Darko Marinov (ICST, 2019)

Reflection-aware static regression test selection. - August Shi; Milica Hadzi-Tanovic; Lingming Zhang 001; Darko Marinov; Owolabi Legunsen (Proc. ACM Program. Lang., 2019)