{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:31:16Z","timestamp":1729665076480,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sies.2011.5953663","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T16:50:22Z","timestamp":1311180622000},"page":"204-212","source":"Crossref","is-referenced-by-count":6,"title":["Let's get less optimistic in measurement-based timing analysis"],"prefix":"10.1109","author":[{"given":"Sven","family":"Bunte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Zolda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimund","family":"Kirner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018551716639"},{"key":"ref32","first-page":"169","article-title":"The way forward for unifying dynamic test case generation: The optimisation-based approach","author":"tracey","year":"0","journal-title":"In International Workshop on Dependable Computing and Its Applications"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-010-9133-9"},{"key":"ref30","first-page":"8\/1","article-title":"evolutionary algorithms for the verification of execution time bounds for real-time software","author":"gross","year":"1999","journal-title":"IEE Colloquium Applicable Modelling Verification and Analysis Techniques for Real-Time Systems"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1997.637339"},{"key":"ref36","first-page":"1942","article-title":"Particle swarm optimization","volume":"4","author":"kennedy","year":"2002","journal-title":"Neural Networks 1995 Proceedings IEEE International Conference on"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00191-4"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011132221066"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00571421"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16561-0_45"},{"journal-title":"On the Origin of Species by Means of Natural Selection","year":"1859","author":"darwin","key":"ref12"},{"journal-title":"Adaptation in Natural and Artificial Systems","year":"1975","author":"holland","key":"ref13"},{"key":"ref14","article-title":"Evolutionärer Test von Realzeit-Systemen","author":"wegener","year":"2001","journal-title":"Ph D Dissertation"},{"journal-title":"Genetic Algorithms in Search Optimization and Machine Learning","year":"1989","author":"goldberg","key":"ref15"},{"key":"ref16","first-page":"11","article-title":"A comparison of selection schemes used in genetic algorithms","author":"blickle","year":"1995","journal-title":"ETH Zürich Switzerland Tech Rep"},{"key":"ref17","first-page":"14","article-title":"Reducing bias and inefficiency in the selection algorithm","author":"baker","year":"0","journal-title":"Proceedings of the Second International Conference on Genetic Algorithms on Genetic algorithms and their application"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-050684-5.50022-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2011.27"},{"key":"ref4","first-page":"68","article-title":"On the use of context information for precise measurement-based execution-time estimation","author":"stattelmann","year":"0","journal-title":"Proc Int'l Workshop Worst-Case Execution Time (WCET)"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018551716639"},{"key":"ref3","first-page":"205","volume":"2","author":"kirner","year":"2006","journal-title":"Intelligent Systems at the Service of Mankind"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739738"},{"key":"ref6","article-title":"Towards adaptable control flow segmentation for measurement-based execution time analysis","author":"zolda","year":"2009","journal-title":"Proceedings of International Conference on Real-Time and Network Systems (RTNS)"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-88479-8_30","article-title":"Measurement-based timing analysis","author":"wenzel","year":"2008","journal-title":"Proc Int Symp Leveraging Appl Formal Methods Verification Validation"},{"article-title":"A search-based automated test-data generation framework for safety-critical software","year":"2000","author":"tracey","key":"ref29"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007905003094"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2006.75"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"journal-title":"Real-Time Systems and Programming Languages","year":"1996","author":"burns","key":"ref1"},{"key":"ref9","first-page":"456","article-title":"Performance analysis of embedded software using implicit path enumeration","author":"li","year":"1995","journal-title":"DAC '95 Proceedings of the 32nd Annual ACM\/IEEE Design Automation Conference"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_20"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","article-title":"A tool for checking ANSI-C programs","volume":"2988","author":"clarke","year":"2004","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-540-93900-9_15","article-title":"Query-driven program testing","volume":"5403","author":"holzer","year":"2009","journal-title":"Proceedings of the International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SSBSE.2009.20"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859084"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/spe.968"},{"key":"ref25","article-title":"Experimental assessment of worst-case program execution times","author":"atanassov","year":"2003","journal-title":"Ph D dissertation Technische Universität Wien Institut für Technische Informatik Treitlstr 3\/3\/182–1 1040 Vienna Austria"}],"event":{"name":"2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2011,6,15]]},"location":"Vasteras, Sweden","end":{"date-parts":[[2011,6,17]]}},"container-title":["2011 6th IEEE International Symposium on Industrial and Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5937480\/5953643\/05953663.pdf?arnumber=5953663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T00:48:25Z","timestamp":1560386905000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5953663\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/sies.2011.5953663","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}