Exhaustive testing of safety critical Java

Tomas Kalibera; Pavel Parizek; Michal Malohlava; Martin Schoeberl

doi:10.1145/1850771.1850794

Exhaustive testing of safety critical Java

Tomas Kalibera, Pavel Parizek, Michal Malohlava, Martin Schoeberl

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

395 Downloads (Orbit)

Original language	English
Title of host publication	Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010)
Publication date	2010
Pages	164-174
DOIs	https://doi.org/10.1145/1850771.1850794
Publication status	Published - 2010
Event	8th International Workshop on Java Technologies for Real-time and Embedded Systems - Prague, Czech Republic Duration: 19 Aug 2010 → 21 Aug 2010 Conference number: 8 http://d3s.mff.cuni.cz/conferences/jtres2010/

Conference

Conference	8th International Workshop on Java Technologies for Real-time and Embedded Systems
Number	8
Country/Territory	Czech Republic
City	Prague
Period	19/08/2010 → 21/08/2010
Internet address	http://d3s.mff.cuni.cz/conferences/jtres2010/

Access to Document

10.1145/1850771.1850794

JpfscjSubmitted manuscript, 218 KB

OpenUrl availability

Full text

Cite this

@inproceedings{142419143cd14bcebbda67b62540b2d4,

title = "Exhaustive testing of safety critical Java",

author = "Tomas Kalibera and Pavel Parizek and Michal Malohlava and Martin Schoeberl",

year = "2010",

doi = "10.1145/1850771.1850794",

language = "English",

pages = "164--174",

booktitle = "Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010)",

note = "8th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2010 ; Conference date: 19-08-2010 Through 21-08-2010",

url = "http://d3s.mff.cuni.cz/conferences/jtres2010/",

}

Kalibera, T, Parizek, P, Malohlava, M & Schoeberl, M 2010, Exhaustive testing of safety critical Java. in Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010). pp. 164-174, 8th International Workshop on Java Technologies for Real-time and Embedded Systems, Prague, Czech Republic, 19/08/2010. https://doi.org/10.1145/1850771.1850794

TY - GEN

T1 - Exhaustive testing of safety critical Java

AU - Kalibera, Tomas

AU - Parizek, Pavel

AU - Malohlava, Michal

AU - Schoeberl, Martin

N1 - Conference code: 8

PY - 2010

Y1 - 2010

U2 - 10.1145/1850771.1850794

DO - 10.1145/1850771.1850794

M3 - Article in proceedings

SP - 164

EP - 174

BT - Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010)

T2 - 8th International Workshop on Java Technologies for Real-time and Embedded Systems

Y2 - 19 August 2010 through 21 August 2010

ER -