Precise Analysis of Java Programs Using JOANA | IEEE Conference Publication | IEEE Xplore