{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:29:25Z","timestamp":1729675765349,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icst.2015.7102592","type":"proceedings-article","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T15:54:04Z","timestamp":1431100444000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems"],"prefix":"10.1109","author":[{"given":"Tingting","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myra","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","first-page":"1917","DOI":"10.1145\/1143997.1144316","author":"tlili","year":"2006","journal-title":"GECCO"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2005.1440978"},{"journal-title":"StackAnalyzer Stack Usage Analysis","year":"2014","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61723-X_1008"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2151024.2151034"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.44"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","article-title":"Evolutionary test environment for automatic structural testing","volume":"43","author":"wegener","year":"2001","journal-title":"Information and Software Technology"},{"journal-title":"VerOStack - Static Worst-Case Stack Analysis","year":"2014","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.17"},{"journal-title":"Online stack overflow detection on the TMS320C28x DS P Technical report Texas Instruments","year":"2003","author":"alter","key":"ref11"},{"key":"ref12","first-page":"261","author":"altmeyer","year":"2011","journal-title":"Cache related preemption delay aware response time analysis for fixed priority preemptive systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100119"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.29"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068183"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919080"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.04.054"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2013.100"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113833"},{"journal-title":"Oscilloscope application","year":"2008","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086282"},{"journal-title":"AVR C Runtime Library - Small Demo","year":"2007","key":"ref3"},{"journal-title":"Hand-Motion Chess","year":"2012","key":"ref6"},{"key":"ref29","first-page":"47","article-title":"Static analysis support for measurement-based WCET analysis","author":"schaefer","year":"2006","journal-title":"RTCSA"},{"journal-title":"A stack depth analysis tool for TinyOS","year":"2009","key":"ref5"},{"journal-title":"Rapita Systems","year":"2014","key":"ref8"},{"journal-title":"Toyota's killer firmware Bad design and its conse-quences","year":"2013","key":"ref7"},{"journal-title":"AVR C Runtime Library - Large Demo","year":"2007","key":"ref2"},{"journal-title":"Using static analysis to bound stack depth","year":"2014","key":"ref9"},{"journal-title":"About the Altona Railway software glitch","year":"2005","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1542452.1542471"},{"key":"ref22","article-title":"Using a worst-case execution time tool for real-time verification of the Debie software","author":"holsti","year":"2000","journal-title":"DASlA"},{"journal-title":"Practical Genetic Algorithms","year":"1998","author":"haupt","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10506-2_14"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336777"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277175"},{"key":"ref25","first-page":"81","article-title":"Timing analysis of interrupt-driven programs under context bounds","author":"kotker","year":"2011","journal-title":"FMCAD"}],"event":{"name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7102553\/7102573\/07102592.pdf?arnumber=7102592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,24]],"date-time":"2019-08-24T19:50:47Z","timestamp":1566676247000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7102592\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/icst.2015.7102592","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}