{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T22:27:54Z","timestamp":1673562474660},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,6,8]],"date-time":"2010-06-08T00:00:00Z","timestamp":1275955200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s10664-010-9133-9","type":"journal-article","created":{"date-parts":[[2010,6,7]],"date-time":"2010-06-07T13:50:20Z","timestamp":1275918620000},"page":"5-28","source":"Crossref","is-referenced-by-count":10,"title":["WCET analysis of modern processors using multi-criteria optimisation"],"prefix":"10.1007","volume":"16","author":[{"given":"Iain","family":"Bate","sequence":"first","affiliation":[]},{"given":"Usman","family":"Khan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,8]]},"reference":[{"key":"9133_CR1","doi-asserted-by":"crossref","unstructured":"Bernat G, Colin A, Petters S (2002) WCET analysis of probabilistic hard real-time systems. In: Proceedings of 23rd IEEE real-time systems symposium, pp 279\u2013288","DOI":"10.1109\/REAL.2002.1181582"},{"key":"9133_CR2","unstructured":"Betts A, Bernat G, Kirner R, Puschner P, Wenzel I (2006) WCET coverage for pipelines, technical report for the ARTIST2 network of excellence, August"},{"key":"9133_CR3","doi-asserted-by":"crossref","unstructured":"Brooks D, Tiwari V, Martonosi M (2000) WATTCH: a framework for architectural-level power analysis and optimizations. Proceedings of the conference on 27th international symposium on computer architecture, pp 83\u201394","DOI":"10.1145\/339647.339657"},{"issue":"3","key":"9133_CR4","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/268806.268810","volume":"25","author":"D Burger","year":"1997","unstructured":"Burger D, Austin T (1997) The Simplescalar tool set, version 2.0. SIGARCH Comput Archit News 25(3):13\u201325","journal-title":"SIGARCH Comput Archit News"},{"key":"9133_CR5","unstructured":"Burns A, Wellings A (2001) Real-time systems and programming languages, 3rd edn. Addison Wesley, Harlow"},{"key":"9133_CR6","unstructured":"Chapman R (1995) Static timing analysis and program proof, PhD thesis, University of York"},{"issue":"3","key":"9133_CR7","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF03325101","volume":"1","author":"C Coello","year":"1999","unstructured":"Coello C (1999) A comprehensive survey of evolutionary-based multiobjective optimization techniques. Knowl Inf Syst 1(3):269\u2013308","journal-title":"Knowl Inf Syst"},{"key":"9133_CR8","doi-asserted-by":"crossref","unstructured":"Emberson P, Bate I (2010) Stressing search with scenarios for flexible solutions to real-time task allocation problems. Trans Softw Eng, http:\/\/doi.ieeecomputersociety.org\/10.1109\/TSE.2009.58","DOI":"10.1109\/TSE.2009.58"},{"key":"9133_CR9","unstructured":"Ermedahl A, Gustafsson J WCET project \/ benchmarks. Accessed: 5 May 2008. Available at: www.mrtc.mdh.se\/projects\/wcet\/benchmarks.html"},{"key":"9133_CR10","unstructured":"Gro\u03b2 H (2000) Measuring evolutionary testability of real-time software. Ph.D. thesis, University of Glamorgan\/Prifysgol"},{"key":"9133_CR11","doi-asserted-by":"crossref","unstructured":"Harman M (2007) The current state and future of search based software engineering. In: Proceedings of the future of software engineering 2007, pp 342\u2013357","DOI":"10.1109\/FOSE.2007.29"},{"key":"9133_CR12","doi-asserted-by":"crossref","DOI":"10.1002\/0470013192.bsa501","volume-title":"Principal component analysis","author":"I Jolliffe","year":"2005","unstructured":"Jolliffe, IT (2005) Principal component analysis, In: Everitt BS, Howell DC (eds) Encyclopedia of Statistics in Behavioral Science, Wiley, New York, 3, pp 1580\u20131584"},{"key":"9133_CR13","doi-asserted-by":"crossref","unstructured":"Khan U, Bate I (2009) WCET analysis of modern processors using multi-criteria optimisation. Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE \u201909), pp 103\u2013112","DOI":"10.1109\/SSBSE.2009.20"},{"key":"9133_CR14","doi-asserted-by":"crossref","unstructured":"Kim D, Ha S, Gupta R (2007) CATS: cycle accurate transaction-driven simulation with multiple processor simulators. Proceedings of the Conference on Design, Automation and Test in Europe (DATE), pp 749\u2013754","DOI":"10.1109\/DATE.2007.364685"},{"key":"9133_CR15","unstructured":"Kirner R, Puschner P, Wenzel I (2004) Measurement-based worst-case execution time analysis using automatic test-data generation. In: Proceedings of the 4th euromicro workshop on worst case execution time analysis"},{"issue":"2","key":"9133_CR16","doi-asserted-by":"crossref","first-page":"1018","DOI":"10.1016\/j.asoc.2006.06.010","volume":"8","author":"F Lammermann","year":"2008","unstructured":"Lammermann F, Baresel A, Wegener J (2008) Evaluating evolutionary testability for structure-oriented testing with software measurements. Appl Soft Comput 8(2):1018\u20131028","journal-title":"Appl Soft Comput"},{"key":"9133_CR17","doi-asserted-by":"crossref","unstructured":"Lunqvist T, Stenstrom P (1999) Timing anomalies in dynamically scheduled microprocessors. In: Proceedings of the 20th IEEE real-time systems symposium, pp 12\u201321","DOI":"10.1109\/REAL.1999.818824"},{"issue":"2","key":"9133_CR18","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn P (2004) Search-based software test data generation: a survey. Softw Test Verif Reliab 14(2):105\u2013156","journal-title":"Softw Test Verif Reliab"},{"key":"9133_CR19","unstructured":"Pohlheim H, Wegener J (1999) Testing the temporal behavior of real-time software modules using extended evolutionary algorithms. In: Proceedings of genetic and evolutionary computation conference"},{"key":"9133_CR20","doi-asserted-by":"crossref","unstructured":"Tan L (2006) The worst case execution time tool challenge 2006: the external test, 2nd International Symposium on Leveraging Applications of formal methods, verification and validation (ISoLA 2006), pp 241\u2013248","DOI":"10.1109\/ISoLA.2006.73"},{"key":"9133_CR21","doi-asserted-by":"crossref","unstructured":"Tate J, Bate I (2010) Sensornet protocol tuning using principled engineering methods. Comput J, doi: 10.1093\/comjnl\/bxp077","DOI":"10.1093\/comjnl\/bxp077"},{"key":"9133_CR22","unstructured":"Tracey N, Clark J, Mander K (1998) The way forward for unifying dynamic test case generation: the optimisation-based approach. In: Proceedings of the international workshop on dependable computing and its applications"},{"issue":"3","key":"9133_CR23","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1011132221066","volume":"21","author":"J Wegener","year":"2001","unstructured":"Wegener J, Mueller F (2001) A comparison of static analysis and evolutionary testing for the verification of timing constraints. Real Time Syst J 21(3):241\u2013268","journal-title":"Real Time Syst J"},{"issue":"2","key":"9133_CR24","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1023\/A:1018551716639","volume":"6","author":"J Wegener","year":"1997","unstructured":"Wegener J, Sthamer H, Jones B, Eyres D (1997) Testing real-time systems using genetic algorithms. Softw Qual J 6(2):127\u2013135","journal-title":"Softw Qual J"},{"key":"9133_CR25","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00175354","volume":"4","author":"D Whitley","year":"1994","unstructured":"Whitley D (1994) A genetic algorithm tutorial. Stat Comput 4:65\u201385","journal-title":"Stat Comput"},{"issue":"3","key":"9133_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mitra T, Mueller F, Puaut I, Puschner P, Staschulat J, Stenstrom P (2008) The worst-case execution time problem\u2014overview of methods and survey of tools. ACM Trans Embedded Comput Syst 7(3):1\u201353","journal-title":"ACM Trans Embedded Comput Syst"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-010-9133-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-010-9133-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-010-9133-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:15:10Z","timestamp":1559250910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-010-9133-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,8]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["9133"],"URL":"https:\/\/doi.org\/10.1007\/s10664-010-9133-9","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,8]]}}}