{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T04:00:26Z","timestamp":1778904026502,"version":"3.51.4"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107407","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T20:37:48Z","timestamp":1431635868000},"page":"1-10","source":"Crossref","is-referenced-by-count":14,"title":["A model-based testing technique for component-based real-time embedded systems"],"prefix":"10.1109","author":[{"given":"Jing","family":"Guan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Offutt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2007.136"},{"key":"ref30","first-page":"222","article-title":"Techniques for testing component-based software","author":"wu","year":"2001","journal-title":"7th IEEE International Conference on Engineering of Complex Computer Systems 2001"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.910859"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ITI.2007.4283842"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm093"},{"key":"ref13","year":"2011","journal-title":"UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1159733.1159774"},{"key":"ref15","article-title":"An approach to analyzing and testing component-based systems","author":"harrold","year":"1999","journal-title":"First International ICSE Workshop on Testing Distributed Component-Based Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348872"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(1998090)8:3<133::AID-STVR162>3.3.CO;2-D"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/ITNG.2008.118","article-title":"Efficient monitoring of embedded realtime systems","author":"cadamuro","year":"2008","journal-title":"Fifth International Conference on Information Technology New Generations"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/MCS.2003.1172830","article-title":"Timed multitasking for real-time embedded software","volume":"23","author":"liu","year":"2003","journal-title":"IEEE Control Systems"},{"key":"ref28","year":"0","journal-title":"Wind River development tools"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/182987.184077"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/54.536098"},{"key":"ref3","author":"bass","year":"2003","journal-title":"Software Architecture in Practice"},{"key":"ref6","first-page":"10","volume":"1","author":"briand","year":"2002","journal-title":"A UML-based approach to System Testing"},{"key":"ref29","author":"wohlin","year":"2008","journal-title":"Experimentation in Software Engineering an Introduction"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45221-8_22"},{"key":"ref8","author":"colnaric","year":"2007","journal-title":"Distributed Embedded Control Systems"},{"key":"ref7","author":"broekman","year":"2002","journal-title":"Testing Embedded Software"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008978021407"},{"key":"ref1","author":"allen","year":"1998","journal-title":"Component-Based Development for Enterprise Systems Applying the SELECT Perspective"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.26"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2004.1342848"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2007.4414070"},{"key":"ref24","author":"simon","year":"1999","journal-title":"An Embedded Software Primer"},{"key":"ref23","first-page":"10871106","volume":"49","author":"rehman","year":"2007","journal-title":"a state-based approach to integration testing based on uml models"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2005.24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2010.9.5.a1"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","location":"Graz, Austria","start":{"date-parts":[[2015,4,13]]},"end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107407.pdf?arnumber=7107407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T03:26:12Z","timestamp":1566703572000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107407\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107407","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}