{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:43:07Z","timestamp":1729651387862,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1109\/rsp.2007.30","type":"proceedings-article","created":{"date-parts":[[2007,6,20]],"date-time":"2007-06-20T14:41:13Z","timestamp":1182350473000},"page":"130-138","source":"Crossref","is-referenced-by-count":7,"title":["Nonintrusive Black- and White-Box Testing of Embedded Systems Software against UML Models"],"prefix":"10.1109","author":[{"given":"Philipp","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus D.","family":"Muller-Glaser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clemens","family":"Reichmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","author":"junit","journal-title":"JUnit","key":"3"},{"key":"2","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1109\/ASE.2002.1115026","article-title":"SeDiTeC - Testing Based on Sequence Diagrams","author":"fraikin","year":"2002","journal-title":"ASE '02 Proceedings of the 17 th IEEE International Conference on Automated Software Engineering (ASE'02)"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/ECBS.2004.1316703"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/ICECCS.2005.16"},{"year":"0","key":"7"},{"year":"2003","journal-title":"Unified Modeling Language (UML) Specification","key":"6"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1007\/3-540-45875-1_13"},{"key":"4","first-page":"97","article-title":"Saving traces for Ada debugging","volume":"5","author":"ledoux","year":"1985","journal-title":"Ada in Use Proceedings of the Ada International Conference Paris"},{"year":"0","key":"9"},{"year":"2004","journal-title":"Unified Modeling Language (UML) Specification","key":"8"},{"key":"11","article-title":"Automatic Debugging Support for UML Designs","author":"schumann","year":"2000","journal-title":"Proc Fourth Int l Workshop Automated Debugging (AADEBUG 2000)"},{"year":"0","journal-title":"Velocity","key":"12"}],"event":{"name":"18th IEEE\/IFIP International Workshop on Rapid System Prototyping","start":{"date-parts":[[2007,5,28]]},"location":"Porto alegre, Brazil","end":{"date-parts":[[2007,5,30]]}},"container-title":["18th IEEE\/IFIP International Workshop on Rapid System Prototyping (RSP '07)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4228468\/4228469\/04228496.pdf?arnumber=4228496","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T18:53:08Z","timestamp":1497725588000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4228496\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/rsp.2007.30","relation":{},"ISSN":["1074-6005"],"issn-type":[{"type":"print","value":"1074-6005"}],"subject":[],"published":{"date-parts":[[2007,5]]}}}