Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl: Exhaustive testing of safety critical Java. JTRES 2010: 164-174