{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:00:28Z","timestamp":1742385628966},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/snpd.2007.430","type":"proceedings-article","created":{"date-parts":[[2007,8,22]],"date-time":"2007-08-22T19:35:35Z","timestamp":1187811335000},"page":"640-645","source":"Crossref","is-referenced-by-count":8,"title":["DYFARS: Boosting Reliability in Fault-Tolerant Heterogeneous Distributed Systems Through Dynamic Scheduling"],"prefix":"10.1109","author":[{"given":"Wei","family":"Luo","sequence":"first","affiliation":[]},{"given":"JunLin","family":"Li","sequence":"additional","affiliation":[]},{"given":"FuMin","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Gang","family":"Tu","sequence":"additional","affiliation":[]},{"given":"LiPing","family":"Pang","sequence":"additional","affiliation":[]},{"given":"Lin","family":"Shu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/RTSS.2006.12","article-title":"Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using","author":"gustafsson","year":"2006","journal-title":"27th IEEE International Real-Time Systems Symposium (RTSS'06)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.06.007"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.33"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"11","first-page":"193","article-title":"Testing strategies for communicating FSMs","author":"petrenko","year":"1994","journal-title":"Proceedings of the 7th International Workshop on Protocol Test Systems (IWPTS)"},{"year":"0","key":"12"},{"journal-title":"The mythical manmonth","year":"1995","author":"frederick","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.804489"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2002.1003693"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","article-title":"Generating Tests from UML Specifications","author":"offutt","year":"1999","journal-title":"Proc Conf Unified Modeling Language"},{"key":"6","first-page":"267","article-title":"TESDL: Experience with Generating Test Cases from SDL Specifications","author":"bromstrup","year":"1989","journal-title":"Proc of the SDL Forum"},{"year":"0","key":"5"},{"year":"0","key":"4"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348872"}],"event":{"name":"Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing (SNPD 2007)","start":{"date-parts":[[2007,7,30]]},"location":"Qingdao, China","end":{"date-parts":[[2007,8,1]]}},"container-title":["Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing (SNPD 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4287452\/4287453\/04287585.pdf?arnumber=4287585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T11:33:35Z","timestamp":1556796815000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4287585\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/snpd.2007.430","relation":{},"subject":[],"published":{"date-parts":[[2007,7]]}}}