Milica Hadzi-Tanovic

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Locally Weighted

Evolution Process

Asynchronous Circuits

Signature Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov
Techniques for Evolution-Aware Runtime Verification. ICST (2019)
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, Owolabi Legunsen
Reflection-aware static regression test selection. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)