{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:48Z","timestamp":1740099048121,"version":"3.37.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319775371"},{"type":"electronic","value":"9783319775388"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-77538-8_53","type":"book-chapter","created":{"date-parts":[[2018,3,7]],"date-time":"2018-03-07T06:33:17Z","timestamp":1520404397000},"page":"794-809","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Search-Based Temporal Testing in an Embedded Multicore Platform"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2620-930X","authenticated-orcid":false,"given":"Komsan","family":"Srivisut","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9230-9739","authenticated-orcid":false,"given":"John A.","family":"Clark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1978-9852","authenticated-orcid":false,"given":"Richard F.","family":"Paige","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,8]]},"reference":[{"issue":"6","key":"53_CR1","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1049\/sej.1994.0036","volume":"9","author":"A Burns","year":"1994","unstructured":"Burns, A., McDermid, J.A.: Real-time safety-critical systems: analysis and synthesis. Softw. Eng. J. 9(6), 267\u2013281 (1994)","journal-title":"Softw. Eng. J."},{"key":"53_CR2","series-title":"Wiley Series in Systems Engineering and Management","doi-asserted-by":"crossref","DOI":"10.1002\/9780470618851","volume-title":"Verification, Validation and Testing of Engineered Systems","author":"A Engel","year":"2010","unstructured":"Engel, A.: Verification, Validation and Testing of Engineered Systems. Wiley Series in Systems Engineering and Management, 2nd edn. John Wiley & Sons, Hoboken (2010)","edition":"2"},{"key":"53_CR3","unstructured":"Pohlheim, H., Wegener, J.: Testing the temporal behavior of real-time software modules using extended evolutionary algorithms. In: Proceedings of the 1st Annual Conference on Genetic and Evolutionary Computation - vol. 2, GECCO 1999, p. 1795. Morgan Kaufmann Publishers Inc., San Francisco (1999)"},{"issue":"5","key":"53_CR4","doi-asserted-by":"crossref","first-page":"759","DOI":"10.1093\/comjnl\/bxt027","volume":"57","author":"P Graydon","year":"2014","unstructured":"Graydon, P., Bate, I.: Realistic safety cases for the timing of systems. Comput. J. 57(5), 759\u2013774 (2014)","journal-title":"Comput. J."},{"issue":"3","key":"53_CR5","doi-asserted-by":"crossref","first-page":"36: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., Stenstr\u00f6m, P.: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 36:1\u201336:53 (2008). \nhttp:\/\/doi.acm.org\/10.1145\/1347375.1347389","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"53_CR6","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-1-4471-0135-2_12","volume-title":"Systems Engineering for Business Process Change: New Directions","author":"N Tracey","year":"2002","unstructured":"Tracey, N., Clark, J., McDermid, J., Mander, K.: A search-based automated test-data generation framework for safety-critical systems. In: Henderson, P. (ed.) Systems Engineering for Business Process Change: New Directions, pp. 174\u2013213. Springer, New York (2002). \nhttps:\/\/doi.org\/10.1007\/978-1-4471-0135-2_12\n\n. \nhttp:\/\/dl.acm.org\/citation.cfm?id=763012.763025"},{"key":"53_CR7","doi-asserted-by":"crossref","unstructured":"McMinn, P.: Search-based software testing: past, present and future. In: Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2011, pp. 153\u2013163. IEEE Computer Society, Washington (2011). \nhttp:\/\/dx.doi.org\/10.1109\/ICSTW.2011.100","DOI":"10.1109\/ICSTW.2011.100"},{"key":"53_CR8","unstructured":"Poulding, S., Clark, J.A.: The problems with multi-core: Challenges for the critical systems community. Technical report, Department of Computer Science, University of York, York, United Kingdom (2012). version 0.1"},{"key":"53_CR9","doi-asserted-by":"crossref","unstructured":"Saidi, S., Ernst, R., Uhrig, S., Theiling, H., de Dinechin, B.D.: The shift to multicores in real-time and safety-critical systems. In: 2015 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS), pp. 220\u2013229, October 2015","DOI":"10.1109\/CODESISSS.2015.7331385"},{"key":"53_CR10","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.ins.2013.02.041","volume":"237","author":"I Boussad","year":"2013","unstructured":"Boussad, I., Lepagnot, J., Siarry, P.: A survey on optimization metaheuristics. Inf. Sci. 237, 82\u2013117 (2013). \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S0020025513001588","journal-title":"Inf. Sci."},{"issue":"6","key":"53_CR11","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1016\/j.infsof.2008.12.005","volume":"51","author":"W Afzal","year":"2009","unstructured":"Afzal, W., Torkar, R., Feldt, R.: A systematic review of search-based testing for non-functional system properties. Inf. Softw. Technol. 51(6), 957\u2013976 (2009). \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S0950584908001833","journal-title":"Inf. Softw. Technol."},{"key":"53_CR12","unstructured":"Wegener, J., Grimm, K., Grochtmann, M., Sthamer, H., Jones, B.: Systematic testing of real-time systems. In: 4th International Conference on Software Testing Analysis and Review (EuroSTAR 1996) (1996)"},{"issue":"2","key":"53_CR13","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.F., Eyres, D.E.: Testing real-time systems using genetic algorithms. Softw. Qual. J. 6(2), 127\u2013135 (1997). \nhttps:\/\/doi.org\/10.1023\/A:1018551716639","journal-title":"Softw. Qual. J."},{"key":"53_CR14","unstructured":"Tracey, N., Clark, J.A., Mander, K.: The way forward for unifying dynamic test-case generation: The optimisation-based approach. In: Proceedings of the IFIP International Workshop on Dependable Computing and Its Applications (DCIA), York (1998)"},{"key":"53_CR15","doi-asserted-by":"crossref","unstructured":"Alander, J.T., Mantere, T., Moghadampour, G., Matila, J.: Searching protection relay response time extremes using genetic algorithm-software quality by optimization. In: 1997 Fourth International Conference on Advances in Power System Control, Operation and Management, APSCOM-1997, (Conf. Publ. No. 450), vol. 1, pp. 95\u201399, November 1997","DOI":"10.1049\/cp:19971811"},{"issue":"2","key":"53_CR16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1049\/ip-sen:20000525","volume":"147","author":"HG Gross","year":"2000","unstructured":"Gross, H.G., Jones, B.F., Eyres, D.E.: Structural performance measure of evolutionary testing applied to worst-case timing of real-time systems. IEE Proc. Softw. 147(2), 25\u201330 (2000)","journal-title":"IEE Proc. Softw."},{"issue":"3","key":"53_CR17","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1011132221066","volume":"21","author":"J Wegener","year":"2001","unstructured":"Wegener, J., Mueller, F.: A comparison of static analysis and evolutionary testing for the verification of timing constraints. Real-Time Syst. 21(3), 241\u2013268 (2001). \nhttps:\/\/doi.org\/10.1023\/A:1011132221066","journal-title":"Real-Time Syst."},{"key":"53_CR18","doi-asserted-by":"crossref","unstructured":"Tlili, M., Wappler, S., Sthamer, H.: Improving evolutionary real-time testing. In: Proceedings of the 8th Annual Conference on Genetic and Evolutionary Computation, GECCO 2006, pp. 1917\u20131924. ACM, New York (2006). \nhttp:\/\/doi.acm.org\/10.1145\/1143997.1144316","DOI":"10.1145\/1143997.1144316"},{"key":"53_CR19","unstructured":"O\u2019Sullivan, M., V\u00f6ssner, S., Wegener, J.: Testing temporal correctness of real-time systems-a new approach using genetic algorithms and cluster analysis. In: Proceedings of the 6th European Conference on Software Testing, Analysis and Review (EuroSTAR 1998), Munich, Germany (1998)"},{"key":"53_CR20","unstructured":"Gro\u00df, H.G.: A prediction system for dynamic optimisation-based execution time analysis. In: Proceedings of the First International Workshop on Software Engineering using Metaheuristic Innovative Algorithms (SEMINAL), ISCE 2001, Toronto, Canada (2001)"},{"key":"53_CR21","doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Zhang, Y.: Achievements, open problems and challenges for search based software testing. In: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp. 1\u201312, April 2015","DOI":"10.1109\/ICST.2015.7102580"},{"issue":"1","key":"53_CR22","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10664-010-9133-9","volume":"16","author":"I Bate","year":"2011","unstructured":"Bate, I., Khan, U.: Wcet analysis of modern processors using multi-criteria optimisation. Empirical Softw. Eng. 16(1), 5\u201328 (2011). \nhttps:\/\/doi.org\/10.1007\/s10664-010-9133-9","journal-title":"Empirical Softw. Eng."},{"issue":"3","key":"53_CR23","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/268806.268810","volume":"25","author":"D Burger","year":"1997","unstructured":"Burger, D., Austin, T.M.: The simplescalar tool set, version 2.0. SIGARCH Comput. Archit. News. 25(3), 13\u201325 (1997). \nhttp:\/\/doi.acm.org\/10.1145\/268806.268810","journal-title":"SIGARCH Comput. Archit. News."},{"key":"53_CR24","doi-asserted-by":"crossref","unstructured":"Khan, U., Bate, I.: WCET analysis of modern processors using multi-criteria optimisation. In: 2009 1st International Symposium on Search Based Software Engineering, pp. 103\u2013112, May 2009","DOI":"10.1109\/SSBSE.2009.20"},{"issue":"12","key":"53_CR25","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1057\/jors.2013.71","volume":"64","author":"EK Burke","year":"2013","unstructured":"Burke, E.K., Gendreau, M., Hyde, M., Kendall, G., Ochoa, G., \u00d6zcan, E., Qu, R.: Hyper-heuristics: a survey of the state of the art. J. Oper. Res. Soc. 64(12), 1695\u20131724 (2013). \nhttps:\/\/doi.org\/10.1057\/jors.2013.71","journal-title":"J. Oper. Res. Soc."},{"key":"53_CR26","doi-asserted-by":"crossref","DOI":"10.1002\/9780470496916","volume-title":"Metaheuristics: From Design to Implementation","author":"EG Talbi","year":"2009","unstructured":"Talbi, E.G.: Metaheuristics: From Design to Implementation. Wiley Publishing, Hoboken (2009)"},{"key":"53_CR27","unstructured":"Luke, S.: Essentials of Metaheuristics, 2nd edn. Lulu (2013). \nhttp:\/\/cs.gmu.edu\/~sean\/book\/metaheuristics\/"},{"key":"53_CR28","volume-title":"GNU Scientific Library Reference Manual","author":"M Galassi","year":"2015","unstructured":"Galassi, M., Davies, J., Theiler, J., Gough, B., Jungman, G., Alken, P., Booth, M., Rossi, F., Ulerich, R.: GNU Scientific Library Reference Manual, 3rd edn. Network Theory Limited, UK (2015). The GSL Team","edition":"3"},{"key":"53_CR29","unstructured":"The Apache Software Foundation: Commons math: The apache commons mathematics library (2016). \nhttp:\/\/commons.apache.org\/proper\/commons-math\/\n\n. Accessed 29 Mar 2017"},{"key":"53_CR30","unstructured":"Free Software Foundation Inc: Gsl - gnu scientific library (2017). \nhttps:\/\/www.gnu.org\/software\/gsl\/\n\n. Accessed 21 Oct 2017"},{"key":"53_CR31","volume-title":"The Art of Concurrency: A Thread Monkey\u2019s Guide to Writing Parallel Applications","author":"C Breshears","year":"2009","unstructured":"Breshears, C.: The Art of Concurrency: A Thread Monkey\u2019s Guide to Writing Parallel Applications. O\u2019Reilly Media Inc., Sebastopol (2009)"},{"key":"53_CR32","unstructured":"IEEE: Standard for information technology-portable operating system interface (posix(r)) base specifications, issue 7. IEEE Std 1003.1, 2016 Edition (incorporates IEEE Std 1003.1-2008, IEEE Std 1003.1-2008\/Cor 1\u20132013, and IEEE Std 1003.1-2008\/Cor 2\u20132016), pp. 1\u20133957, September 2016"},{"key":"53_CR33","unstructured":"Sparger, J.: COSC 462 - Parallel Programming, Department of Electrical Engineering & Computer Science at the University of Tennessee, Knoxville. \nhttp:\/\/web.eecs.utk.edu\/~jsparger\/cosc462\/pp\/parallelProject3\/\n\n. Accessed 09 Sept 2017"},{"key":"53_CR34","unstructured":"Weems, B.: CSE 4351: Parallel Processing, Department of Computer Science and Engineering at the University of Texas, Arlington. \nhttp:\/\/ranger.uta.edu\/~weems\/NOTES4351\/cse4351.html\n\n. Accessed 09 Sept 2017"},{"key":"53_CR35","unstructured":"Stough, J.: Strategies for Introducing Parallelism with Python, Department of Computer Science at Washington and Lee University, Lexington. \nhttp:\/\/home.wlu.edu\/~stoughj\/SC13\/\n\n. Accessed 09 Sept 2017"},{"key":"53_CR36","unstructured":"Freescale semiconductor: P4080 Development System User\u2019s Guide. Technical report (2011)"},{"issue":"3","key":"53_CR37","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/MM.2009.41","volume":"29","author":"M Levy","year":"2009","unstructured":"Levy, M., Conte, T.M.: Embedded multicore processors and systems. IEEE Micro 29(3), 7\u20139 (2009)","journal-title":"IEEE Micro"},{"issue":"1","key":"53_CR38","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s10710-011-9148-z","volume":"13","author":"DR White","year":"2012","unstructured":"White, D.R.: Software review: the ECJ toolkit. Genetic Program. Evol. Mach. 13(1), 65\u201367 (2012). \nhttp:\/\/dx.doi.org\/10.1007\/s10710-011-9148-z","journal-title":"Genetic Program. Evol. Mach."},{"issue":"4598","key":"53_CR39","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science 220(4598), 671\u2013680 (1983). \nhttp:\/\/science.sciencemag.org\/content\/220\/4598\/671","journal-title":"Science"},{"key":"53_CR40","unstructured":"Abramson, D., Krishnamoorthy, M., Dang, H.: Simulated annealing cooling schedules for the school timetabling problem. Asia Pac. J. Oper. Res. 16 (1998)"}],"container-title":["Lecture Notes in Computer Science","Applications of Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-77538-8_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,7]],"date-time":"2018-03-07T06:55:29Z","timestamp":1520405729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-77538-8_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319775371","9783319775388"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-77538-8_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}