Identifying software problems in Java applications using ViMC. - Oana Gugea; Dan Cosma (ICSTCC, 2020)