{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:17:51Z","timestamp":1730258271037,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2005.1571419","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T18:42:54Z","timestamp":1137609774000},"page":"1870-1875","source":"Crossref","is-referenced-by-count":1,"title":["Using Attributed Event Grammar Environment Models for Automated Test Generation and Software Risk Assessment of System-of-Systems"],"prefix":"10.1109","volume":"2","author":[{"given":"M.","family":"Auguston","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.B.","family":"Michael","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Shing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.L.","family":"Floodeen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"114","article-title":"Time-optimal real-time test case generation using UPP AAL","author":"hessel","year":"2004","journal-title":"Lecture Notes in Computer Science No 2931 Springer-Verlag Berlin"},{"journal-title":"The Unified Software Development Process Vol 1 Addison-Wesley Reading","year":"1999","author":"jacobson","key":"ref11"},{"journal-title":"Real-Time Systems Prentice Hall Upper Saddle RiverNJ","year":"2000","author":"liu","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/52.56422"},{"key":"ref14","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"mckeeman","year":"1998","journal-title":"Digital Tech J"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/210376.197409"},{"key":"ref16","first-page":"141","article-title":"Robustness testing and hardening of CORBA ORB implementations","author":"pan","year":"2001","journal-title":"Proc Int Conf on Dependable Systems and Networks"},{"journal-title":"Software Safety NASA Technical Standard NASA-ST D-8719 13A","year":"1997","key":"ref17"},{"journal-title":"Software Engineering","year":"2004","author":"sommerville","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960658"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115015"},{"key":"ref3","first-page":"23","article-title":"Lightweight semantics models for program testing and debugging automation","author":"auguston","year":"2000","journal-title":"Proc 7th Monterey Workshop Modeling Software System Structures in a Fastly Moving Scenario Santa Margherita Ligure"},{"key":"ref6","first-page":"47","article-title":"Verification of timing properties in rapid system prototyping","author":"drusinsky","year":"2003","journal-title":"Proc 14th Intl Workshop in Rapid System Prototyping San Diego"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24626-8_7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493420"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3166\/objet.9.4.11-29"},{"key":"ref2","first-page":"108","article-title":"A language for debugging automation","author":"auguston","year":"1994","journal-title":"Proc 6th Intl Conference on Software Engineering & Knowledge Engineering Jurmala"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2000.895467"},{"journal-title":"UML-Based Test Generation and Execution white paper Siemens Corporate Research Princeton N J","year":"2004","author":"vieira m","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81046-6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35381-4_6"}],"event":{"name":"2005 IEEE International Conference on Systems, Man and Cybernetics","location":"Waikoloa, HI, USA"},"container-title":["2005 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10498\/33255\/01571419.pdf?arnumber=1571419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T17:18:14Z","timestamp":1489511894000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1571419\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2005.1571419","relation":{},"subject":[]}}