Exhaustive testing of safety critical Java

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]

Authors

Tomás Kalibera

This author has not been identified. Look up 'Tomás Kalibera' in Google

Pavel Parizek

This author has not been identified. Look up 'Pavel Parizek' in Google

Michal Malohlava

Identified as Michal Malohlava

Martin Schoeberl

This author has not been identified. Look up 'Martin Schoeberl' in Google