Zhang, DanDanZhangBosnacki, DraganDraganBosnackivan den Brand, MarkMarkvan den BrandHuizing, CornelisCornelisHuizingJacobs, BartBartJacobsKuiper, RuurdRuurdKuiperWijs, AntonAntonWijs2021-10-282021-10-2820190167-6423https://imec-publications.be/handle/20.500.12860/34530Dependency safety for Java - Implementing and testing failboxesJournal articlehttps://doi.org/10.1016/j.scico.2019.102316