Runtime checking Java code using ConGu - Vasco T. Vasconcelos (2008)