{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:06:41Z","timestamp":1725620801388},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/icstw.2008.7","type":"proceedings-article","created":{"date-parts":[[2008,7,24]],"date-time":"2008-07-24T14:00:31Z","timestamp":1216908031000},"page":"63-72","source":"Crossref","is-referenced-by-count":18,"title":["An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models"],"prefix":"10.1109","author":[{"given":"Valdivino","family":"Santiago","sequence":"first","affiliation":[]},{"given":"N. L.","family":"Vijaykumar","sequence":"additional","affiliation":[]},{"given":"Danielle","family":"Guimar\u00e3es","sequence":"additional","affiliation":[]},{"given":"Ana Silvia","family":"Amaral","sequence":"additional","affiliation":[]},{"given":"\u00c9rica","family":"Ferreira","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"51","article-title":"qsee project: an experience in outsourcing software development for space applications","author":"santiago","year":"2007","journal-title":"The 19th International Conference on Software Engineering & Knowledge Engineering (SEKE)"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1145\/62959.62964"},{"year":"1998","journal-title":"EXP-OBDH Communication Protocol Definition A case study for PLAVIS","first-page":"9","key":"18"},{"key":"15","first-page":"183","article-title":"performance evaluation from statecharts representation of complex systems: markov approach","author":"vijaykumar","year":"2006","journal-title":"IV WPerformance SBC"},{"year":"0","key":"16"},{"year":"0","key":"13"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/ICSE.2004.1317431"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/COMPSAC.2006.100"},{"year":"2000","author":"souza","journal-title":"Validac?a?o de Especificac?o?es de Sistemas Reativos Definic?a?o e Ana?lise de Crite?rios de Teste","key":"12"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/5.533956"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"year":"1999","author":"binder","journal-title":"Testing Object-Oriented Systems Models Patterns and Tools","first-page":"1248","key":"10"},{"key":"7","first-page":"220","article-title":"an approach towards reliable software","author":"pimont","year":"1979","journal-title":"Proc of Intl Conference on Software Engineering"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/32.16602"},{"year":"1993","author":"agrawal","journal-title":"Proceedings of the 11th Pacific Northwest Software Quality Conference","article-title":"experiences in applying statistical testing to a real-time, embedded software system","key":"5"},{"year":"0","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/TC.2005.152"}],"event":{"name":"2008 IEEE International Conference on Software Testing Verification and Validation Workshop","start":{"date-parts":[[2008,4,9]]},"location":"Lillehammer, Norway","end":{"date-parts":[[2008,4,11]]}},"container-title":["2008 IEEE International Conference on Software Testing Verification and Validation Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4566983\/4566984\/04566992.pdf?arnumber=4566992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T10:42:11Z","timestamp":1489660931000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4566992\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icstw.2008.7","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}