{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T01:10:20Z","timestamp":1740445820009,"version":"3.37.3"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/latw.2010.5550368","type":"proceedings-article","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T15:37:50Z","timestamp":1282664270000},"page":"1-6","source":"Crossref","is-referenced-by-count":7,"title":["An evaluation of free\/open source static analysis tools applied to embedded software"],"prefix":"10.1109","author":[{"given":"Lucas","family":"Torri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guilherme","family":"Fachini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Steinfeld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vesmar","family":"Camara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Carro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erika","family":"Cota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref33","article-title":"Arduino – HomePage"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IADCC.2009.4809256"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2006.66"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1023833.1023857"},{"year":"0","key":"ref35","article-title":"Android | Official Website"},{"year":"0","key":"ref34","article-title":"Darjeeling – Java for micro controllers"},{"year":"0","key":"ref10","article-title":"Yasca – Yet Another Source Code Analyzer"},{"year":"0","key":"ref11","article-title":"Uno Tool Synopsis"},{"year":"0","key":"ref12","article-title":"Flawfinder Home Page"},{"year":"0","key":"ref13","article-title":"Sparse – a Semantic Parser for C"},{"year":"0","key":"ref14","article-title":"SourceForge.net: cppcheck"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029911"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.21"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2006.07.002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2007.7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2007.8"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024410"},{"article-title":"Why Open Source Software\/Free Software (OSS\/FS, FLOSS, or FOSS)? Look at the Numbers!","year":"0","author":"wheeler","key":"ref4"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/500001.500011","article-title":"retargetable static timing analysis for embedded software","author":"chen","year":"2001","journal-title":"International Symposium on System Synthesis (IEEE Cat No 01EX526) ISSS-01"},{"key":"ref3","first-page":"16","article-title":"Improving Embedded Software Test Effectiveness in Automotive Applications","volume":"8","author":"brook","year":"2004","journal-title":"Embedded Systems Europe"},{"year":"0","key":"ref6","article-title":"The CBMC Homepage"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2009.5196212"},{"year":"0","key":"ref5","article-title":"GCC, the GNU Compiler Collection – GNU Project – Free Software Foundation (FSF)"},{"year":"0","key":"ref8","article-title":"RATS – Rough Auditing Tool for Security"},{"year":"2009","key":"ref7","article-title":"Splint Home Page"},{"key":"ref2","article-title":"Which Spot Should I Test for Effective Embedded Software Testing?","author":"jooyoung seo","year":"2008","journal-title":"2nd Intl Conference on Integration and Reliability Improvement"},{"year":"0","key":"ref9","article-title":"mygcc"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.118"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1159733.1159774"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1145\/1138929.1138933","article-title":"On the Integration of Design and Test – A Model-Based Approach for Embedded Systems","author":"pfaller","year":"2006","journal-title":"AST'06"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1138929.1138950"},{"key":"ref24","article-title":"Fiscal Cash Register Embedded System Test with Scenario Pattern","volume":"6","author":"yu","year":"2006","journal-title":"International Journal of Computer Science and Network Security"},{"key":"ref23","article-title":"Diagnosis Service for Embedded Software Component based Systems","author":"thi","year":"2007","journal-title":"EFTS'07"},{"key":"ref26","article-title":"Verification of Temporal Properties in Automotive Embedded Software","author":"lettnin","year":"2006","journal-title":"Proc of IEEE on Design Automation and Test"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.38"}],"event":{"name":"2010 11th Latin American Test Workshop - LATW","start":{"date-parts":[[2010,3,28]]},"location":"Punta del Este, Uruguay","end":{"date-parts":[[2010,3,31]]}},"container-title":["2010 11th Latin American Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5542405\/5550333\/05550368.pdf?arnumber=5550368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T00:29:43Z","timestamp":1740443383000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5550368\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/latw.2010.5550368","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}