Výsledky vyhledávání - "Milica Hadzi-Tanovic"

Reflection-aware static regression test selection

Autor: Darko Marinov, August Shi, Milica Hadzi-Tanovic, Owolabi Legunsen, Lingming Zhang

Publikováno v: Proceedings of the ACM on Programming Languages. 3:1-29

Regression test selection (RTS) aims to speed up regression testing by rerunning only tests that are affected by code changes. RTS can be performed using static or dynamic analysis techniques. Our prior study showed that static and dynamic RTS perfor

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::92620c25ea6a67dbe7a9a3ec9f2b4c77
https://doi.org/10.1145/3360613

Zobrazit plný text záznamu

Techniques for Evolution-Aware Runtime Verification

Autor: Darko Marinov, Milica Hadzi-Tanovic, Grigore Rosu, Yi Zhang, Owolabi Legunsen

Publikováno v: ICST

Runtime Verification (RV) can help find bugs by monitoring program executions against formal properties. Developers should ideally use RV whenever they run tests, to find more bugs earlier. Despite tremendous research progress, RV still incurs high o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1c8b20e9b118295cec852b5c55d608cc
https://doi.org/10.1109/icst.2019.00037

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání