Tomás Kalibera, Pavel Parizek, Michal Malohlava, Martin Schoeberl. Exhaustive testing of safety critical Java. In Tomás Kalibera, Jan Vitek, editors, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. ACM International Conference Proceeding Series, pages 164-174, ACM, 2010. [doi]
Abstract is missing.