{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T18:15:04Z","timestamp":1761934504041,"version":"build-2065373602"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2004.1342848","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"306-311","source":"Crossref","is-referenced-by-count":14,"title":["Mutation-based testing criteria for timeliness"],"prefix":"10.1109","author":[{"given":"R.","family":"Nilsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Offutt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.F.","family":"Andler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809499"},{"key":"10","first-page":"109","article-title":"Towards of a framework for automated testing of transaction-based real-time systems","author":"nilsson","year":"2002","journal-title":"Proceedings of Eigth International Conference on Real-time Computing Systems and Applications (RTCSA2000)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-46002-0_6","article-title":"Timed automata with asynchronous processes: Schedulability and decidability","author":"fersman","year":"2002","journal-title":"Proc of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"journal-title":"A generic approach to schedulability analysis of real-time systems","year":"2003","author":"fersman","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"4","first-page":"460","article-title":"Times - A tool for modelling and implementation of embedded systems","author":"amnell","year":"2002","journal-title":"Proc of TACAS'02"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495198"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"11","article-title":"Timed automata as task models for event-driven systems","author":"nordstro?m","year":"1999","journal-title":"Proc of RTCSA'99"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.1999.802855"}],"event":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","location":"Hong Kong"},"container-title":["Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9304\/29570\/01342848.pdf?arnumber=1342848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:37:51Z","timestamp":1497613071000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1342848\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2004.1342848","relation":{},"subject":[]}}