# Exhaustive testing of safety critical Java

Kalibera, Tomas and Parizek, Pavel and Malohlava, Michal and Schoeberl, Martin (2010) Exhaustive testing of safety critical Java. In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (The full text of this publication is not available from this repository)