{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:47:16Z","timestamp":1725670036486},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/sies.2007.4297324","type":"proceedings-article","created":{"date-parts":[[2007,9,6]],"date-time":"2007-09-06T20:58:04Z","timestamp":1189112284000},"page":"110-117","source":"Crossref","is-referenced-by-count":3,"title":["Shared Data Analysis for Multi-Tasking Real-Time System Testing"],"prefix":"10.1109","author":[{"given":"Anders","family":"Pettersson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Sundmark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Thane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dag","family":"Nystrom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"IEEE Standard Glossary of Software Engineering Terminology","article-title":"IEEE Standards Collection, IEEE Std 610.12-1990","year":"1990","key":"ref10"},{"journal-title":"The Worst-Case Execution Time (WCET) analysis project Mälardalen University MRTC","year":"2007","key":"ref11"},{"journal-title":"Bound-T WCET tool and Tidorum company","year":"2007","key":"ref12"},{"journal-title":"Abslnt Angewandte Informatik GmbH company","year":"2007","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01094342"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/347324.349121"},{"key":"ref16","article-title":"Honing the Detection of Interference and Ready Dependence for Slicing Concurrent Java Programs","author":"ranganath","year":"2003","journal-title":"Technical Report SAnToS-TR2003-6 Tech Rep"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2000.854015"},{"year":"1999","key":"ref4","article-title":"Systematic testing of multithreaded java programs"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/53990.53994"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/PDSE.1999.779740","article-title":"Testing of concurrent programs based on message sequence charts","author":"chung","year":"1999","journal-title":"Proceedings IEEE International Symposium on Software Engineering for Parallel and Distributed Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/52.73751"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365393"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818863"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.236871"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75327"},{"key":"ref9","first-page":"18","article-title":"Testing of Multi-Tasking Real-Time Systems with Critical Sections","author":"pettersson","year":"2003","journal-title":"Proceedings of Ninth International Conference on Real-Time and Embedded Computing Systems amd Applications"}],"event":{"name":"2007 International Symposium on Industrial Embedded Systems","start":{"date-parts":[[2007,7,4]]},"location":"Costa da Caparica, Portugal","end":{"date-parts":[[2007,7,6]]}},"container-title":["2007 International Symposium on Industrial Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4297296\/4297297\/04297324.pdf?arnumber=4297324","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T22:39:30Z","timestamp":1497739170000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4297324\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/sies.2007.4297324","relation":{},"subject":[],"published":{"date-parts":[[2007,7]]}}}