{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:03:28Z","timestamp":1730207008849,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/cimca.2008.143","type":"proceedings-article","created":{"date-parts":[[2009,8,5]],"date-time":"2009-08-05T13:59:27Z","timestamp":1249480767000},"page":"163-168","source":"Crossref","is-referenced-by-count":2,"title":["Test Case Generation for Critical Systems through a Collaborative Web-Based Tool"],"prefix":"10.1109","author":[{"given":"Alessandro Oliveira","family":"Arantes","sequence":"first","affiliation":[]},{"given":"Nandamudi Lankalapalli","family":"Vijaykumar","sequence":"additional","affiliation":[]},{"given":"Valdivino Alexandre","family":"de Santiago Junior","sequence":"additional","affiliation":[]},{"given":"Danielle","family":"Guimaraes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.7"},{"key":"13","first-page":"220","article-title":"an approach towards reliable software","author":"pimont","year":"1979","journal-title":"Proc of Intl Conference on Software Engineering"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl003"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1999.809326"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/32.16602"},{"key":"3","first-page":"219","article-title":"a metamodel for the notation of graphical modeling languages","volume":"1","author":"xiao","year":"2007","journal-title":"Computer Software and Applications Conference (COMPSAC)"},{"journal-title":"Software Engineering - A Practitioner's approach","year":"2000","author":"pressman","key":"2"},{"key":"1","article-title":"verificacao e validacao na terceirizac ao de software embarcado em aplicacoes espaciais","author":"matiello","year":"2006","journal-title":"SBQS2006"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2006.100"},{"journal-title":"Software Engineering","year":"2003","author":"sommerville","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"journal-title":"Modeling Reactive Systems with Statecharts The STATEMATE Approach","year":"1998","author":"harel","key":"5"},{"key":"4","article-title":"on the formal semantics of statecharts","author":"harel","year":"1987","journal-title":"IEEE Symposium on Logic in Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1111\/1475-3995.00358"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/IV.2001.942133"}],"event":{"name":"2008 International Conference on Computational Intelligence for Modelling Control & Automation","start":{"date-parts":[[2008,12,10]]},"location":"Vienna, Austria","end":{"date-parts":[[2008,12,12]]}},"container-title":["2008 International Conference on Computational Intelligence for Modelling Control & Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5172579\/5172580\/05172618.pdf?arnumber=5172618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T00:22:50Z","timestamp":1489796570000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5172618\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cimca.2008.143","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}