{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:44Z","timestamp":1750308824818,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T00:00:00Z","timestamp":1282176000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001823","name":"Ministry of Education, Youth and Sports","doi-asserted-by":"publisher","award":["MSM0021620838"],"award-info":[{"award-number":["MSM0021620838"]}],"id":[{"id":"10.13039\/501100001823","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,8,19]]},"DOI":"10.1145\/1850771.1850794","type":"proceedings-article","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T13:16:50Z","timestamp":1282655810000},"page":"164-174","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Exhaustive testing of safety critical Java"],"prefix":"10.1145","author":[{"given":"Tomas","family":"Kalibera","sequence":"first","affiliation":[{"name":"Charles University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Parizek","sequence":"additional","affiliation":[{"name":"Charles University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michal","family":"Malohlava","sequence":"additional","affiliation":[{"name":"Charles University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Schoeberl","sequence":"additional","affiliation":[{"name":"Technical University of Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,8,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/","author":"Finder Java Path","year":"2010","unstructured":"Java Path Finder . http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/ , 2010 . Java Path Finder. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/, 2010."},{"key":"e_1_3_2_1_2_1","unstructured":"Paparazzi: The free autopilot. http:\/\/paparazzi.enac.fr\/ 2010.  Paparazzi: The free autopilot. http:\/\/paparazzi.enac.fr\/ 2010."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v39:18"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/556706"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/780822.781168"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.295895"},{"key":"e_1_3_2_1_7_1","unstructured":"EUROCAE ED-12B software considerations in airborne systems and equipment certification 1992.  EUROCAE ED-12B software considerations in airborne systems and equipment certification 1992."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_10_1","volume-title":"Certification of Safety-Critical Software Controlled Systems (SafeCert)","author":"Henties Thomas","year":"2009","unstructured":"Thomas Henties , James Hunt , Doug Locke , Kelvin Nilsen , Martin Schoeberl , and Jan Vitek . Java for safety-critical applications . In Certification of Safety-Critical Software Controlled Systems (SafeCert) , 2009 . Thomas Henties, James Hunt, Doug Locke, Kelvin Nilsen, Martin Schoeberl, and Jan Vitek. Java for safety-critical applications. In Certification of Safety-Critical Software Controlled Systems (SafeCert), 2009."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620412"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1707790.1707800"},{"key":"e_1_3_2_1_14_1","volume-title":"Uppaal in a nutshell. STTT, 1(1--2)","author":"Larsen Kim Guldstrand","year":"1997","unstructured":"Kim Guldstrand Larsen , Paul Pettersson , and Wang Yi . Uppaal in a nutshell. STTT, 1(1--2) , 1997 . Kim Guldstrand Larsen, Paul Pettersson, and Wang Yi. Uppaal in a nutshell. STTT, 1(1--2), 1997."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_33"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844136"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250785"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of 6th International Workshop on Worst-Case Execution Time Analysis (WCET)","author":"Nemer Fadia","year":"2006","unstructured":"Fadia Nemer , Hugues Cass\u00e9 , Pascal Sainrat , Jean Paul Bahsoun , and Marianne De Michiel . Papabench : a free real-time benchmark . In Proceedings of 6th International Workshop on Worst-Case Execution Time Analysis (WCET) , 2006 . Fadia Nemer, Hugues Cass\u00e9, Pascal Sainrat, Jean Paul Bahsoun, and Marianne De Michiel. Papabench: a free real-time benchmark. In Proceedings of 6th International Workshop on Worst-Case Execution Time Analysis (WCET), 2006."},{"key":"e_1_3_2_1_20_1","unstructured":"Software considerations in airborne systems and equipment certification 1992.  Software considerations in airborne systems and equipment certification 1992."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30470-8_52"},{"key":"e_1_3_2_1_22_1","volume-title":"Tagungsband Austrochip 2005","author":"Schoeberl Martin","year":"2005","unstructured":"Martin Schoeberl . Evaluation of a Java processor . In Tagungsband Austrochip 2005 , Vienna, Austria , 2005 . Martin Schoeberl. Evaluation of a Java processor. In Tagungsband Austrochip 2005, Vienna, Austria, 2005."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01575"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2007.06.001"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1850771.1850789"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v40:6"},{"key":"e_1_3_2_1_27_1","unstructured":"D. D. Spinellis. ckjm - A Tool for Calculating Chidamber and Kemerer Java Metrics. http:\/\/gromit.iiar.pwr.wroc.pl\/p_inf\/ckjm\/ 2009.  D. D. Spinellis. ckjm - A Tool for Calculating Chidamber and Kemerer Java Metrics. http:\/\/gromit.iiar.pwr.wroc.pl\/p_inf\/ckjm\/ 2009."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/646480.693791"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_30_1","volume-title":"Kronos: A verification tool for real-time systems. STTT, 1(1--2):123--133","author":"Yovine Sergio","year":"1997","unstructured":"Sergio Yovine . Kronos: A verification tool for real-time systems. STTT, 1(1--2):123--133 , 1997 . Sergio Yovine. Kronos: A verification tool for real-time systems. STTT, 1(1--2):123--133, 1997."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.51"}],"event":{"name":"JTRES '10: JTRES '10 -Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems","acronym":"JTRES '10","location":"Prague Czech Republic"},"container-title":["Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1850771.1850794","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1850771.1850794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:50Z","timestamp":1750278410000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1850771.1850794"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,19]]},"references-count":29,"alternative-id":["10.1145\/1850771.1850794","10.1145\/1850771"],"URL":"https:\/\/doi.org\/10.1145\/1850771.1850794","relation":{},"subject":[],"published":{"date-parts":[[2010,8,19]]},"assertion":[{"value":"2010-08-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}