{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:17:38Z","timestamp":1725866258363},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471051"},{"type":"electronic","value":"9783319471068"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47106-8_6","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T07:53:34Z","timestamp":1474617214000},"page":"80-95","source":"Crossref","is-referenced-by-count":1,"title":["A Search Based Approach for Stress-Testing Integrated Circuits"],"prefix":"10.1007","author":[{"given":"Basil","family":"Eljuse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Walkinshaw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-642-16573-3_8","volume-title":"Testing Software and Systems","author":"A Arcuri","year":"2010","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Black-box system testing of real-time embedded systems using random and search-based testing. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 95\u2013110. Springer, Heidelberg (2010)"},{"key":"6_CR2","unstructured":"ARM CoreLink CCI-400 Cache Coherent Interconnect - Technical Reference Manual. http:\/\/infocenter.arm.com\/help\/topic\/com.arm.doc.ddi0470k\/DDI0470K_cci400_r1p5_trm.pdf"},{"key":"6_CR3","unstructured":"IEC 62142\u20132005 First 2005th edn. \u201306 IEEE Std 1364.1 - Verilog Register Transfer Level Synthesis"},{"key":"6_CR4","unstructured":"White paper on big.LITTLE $$^{\\rm TM}$$ TM processing Technology. http:\/\/www.arm.com\/files\/pdf\/CacheCoherencyWhitepaper_6June2011.pdf"},{"key":"6_CR5","unstructured":"TestChip2 - part of ARM Versatile Express product family. http:\/\/www.arm.com\/products\/tools\/development-boards\/versatile-express\/index.php"},{"key":"6_CR6","unstructured":"Linaro - A non-profit organisation working on open source software for ARM based platforms. http:\/\/www.linaro.org"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Harman, M., McMinn, P.: A theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation. In: International Symposium on Software Testing and Analysis (2007)","DOI":"10.1145\/1273463.1273475"},{"key":"6_CR8","unstructured":"When to use Barrier instructions? http:\/\/infocenter.arm.com\/help\/index.jsp?topic=\/com.arm.doc.faqs\/ka14041.html"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Fischer, M., Tonjes, R.: Generating test data for black-box testing using genetic algorithms. In: IEEE 17th International Conference on Emerging Technologies and Factory Automation (2012)","DOI":"10.1109\/ETFA.2012.6489789"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"McMinn, P.: Search based software test data generation: a survey. Softw. Test. Verification Reliab. (2004). Wiley","DOI":"10.1002\/stvr.294"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Khan, U., Bate, I.: WCET analysis of modern processors using multi-criteria optimisation. In: First Symposium on Search Based Software Engineering (2009)","DOI":"10.1109\/SSBSE.2009.20"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Chattopadhyay, S., Eles, P., Peng, Z.: Automated software testing of memory performance in embedded GPUs. In: International Conference on Embedded Software (2014)","DOI":"10.1145\/2656045.2656047"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Shen, D., Luo, Q., Poshyvanyk, D., Grechanik, M.: Automating performance bottleneck detection using search-based application profiling. In: International Symposium on Software Testing and Analysis (2015)","DOI":"10.1145\/2771783.2771816"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Yu, T., Srisa-an, W., Cohen, M., Rothermel, G.: SimLatte: a framework to support testing for worst-case interrupt latencies in embedded software. In: International Conference on Software Testing, Verification and Validation (2014)","DOI":"10.1109\/ICST.2014.44"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Afzal, W., Torkar, R., Feldt, R.: A systematic review of search-based testing for non-functional system properties. Inf. Softw. Technol. (2009)","DOI":"10.1016\/j.infsof.2008.12.005"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Baresel, A., Pohlheim, H., Sadeghipour, S.: Structural and functional sequence test of dynamic and state-based software with evolutionary algorithms. In: Genetic and Evolutionary Computation Conference (2003)","DOI":"10.1007\/3-540-45110-2_147"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Canfora, G., Penta, M.D., Esposito, R., Villani, M.L.: An approach for QoS-aware service composition based on genetic algorithms. In: Conference on Genetic and Evolutionary Computation (2005)","DOI":"10.1145\/1068009.1068189"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Grosso, C., Antoniol, G., Penta, M.D., Galinier, P., Merlo, E.: Security, improving network applications: a new heuristic to generate stress testing data. In: Annual Conference on Genetic and Evolutionary Computation (2005)","DOI":"10.1145\/1068009.1068185"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Shousha, M.: Stress testing real-time systems with genetic algorithms. In: 7th Annual Conference on Genetic and Evolutionary Computation (2005)","DOI":"10.1145\/1068009.1068183"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Wegener, J., Kruse, P.M.: Search-based testing with in-the-loop systems. In: First International Symposium on Search Based Software Engineering (2009)","DOI":"10.1109\/SSBSE.2009.15"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Lindlar, F., Windisch, A.: A search-based approach to functional hardware-in-the-loop testing. In: Second International Symposium on Search Based Software Engineering (2010)","DOI":"10.1109\/SSBSE.2010.22"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Theodorou, G., Kranitis, N., Paschalis, A., Gizopoulos, D.: Software-based self test methodology for on-line testing of L1 caches in multithreaded multicore architectures. IEEE Trans. Very Large Scale Integr. Syst.(VLSI) (2013)","DOI":"10.1109\/TVLSI.2012.2191000"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Theodorou, G., Kranitis, N., Paschalis, A., Gizopoulos, D.: Software-based self-test for small caches in microprocessors. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. (2014)","DOI":"10.1109\/IOLTS.2014.6873688"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Al-Ars, Z., Hamdioui, S., Gaydadjiev, G., Vassiliadis, S.: Test set development for cache memory in modern microprocessors. IEEE Trans. Very Large Scale Integr. VLSI Syst. (2008)","DOI":"10.1109\/TVLSI.2008.2000257"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Di Carlo, S., Prinetto, P., Savino, A.: Software-based self-test of set-associative cache memories. IEEE Trans. Comput. (2010)","DOI":"10.1109\/TC.2010.166"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Elver, M., Nagarajan, V.: McVerSi: a test generation framework for fast memory consistency verification in simulation. In: The 22nd Symposium on High Performance Computer Architecture (2016)","DOI":"10.1109\/HPCA.2016.7446099"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Riga, M., Sanchez, E., Reorda, M.S.: On the functional test of L2 caches. In: IEEE 18th International On-line Testing Symposium (2012)","DOI":"10.1109\/IOLTS.2012.6313846"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Acle, J.P., Cantoro, R., Sanchez, E., Reorda, M.S.: On the functional test of the cache coherency logic in multi-core systems. In: 6th Latin American Symposium on Circuits and Systems (2015)","DOI":"10.1109\/LASCAS.2015.7250453"},{"key":"6_CR29","unstructured":"Qin, X., Mishra, P.: Automated generation of directed tests for transition coverage in cache coherence protocols. In: Design, Automation & Test in Europe Conference & Exhibition (DATE) (2012)"}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47106-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T19:16:53Z","timestamp":1568402213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47106-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471051","9783319471068"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47106-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}