{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T19:10:19Z","timestamp":1687633819053},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T00:00:00Z","timestamp":1343433600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s10766-012-0208-7","type":"journal-article","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T04:17:01Z","timestamp":1343449021000},"page":"119-139","source":"Crossref","is-referenced-by-count":0,"title":["Using Dynamic Runtime Testing for Rapid Development of Architectural Simulators"],"prefix":"10.1007","volume":"42","author":[{"given":"Sa\u0161a","family":"Tomi\u0107","sequence":"first","affiliation":[]},{"given":"Adri\u00e1n","family":"Cristal","sequence":"additional","affiliation":[]},{"given":"Osman","family":"Unsal","sequence":"additional","affiliation":[]},{"given":"Mateo","family":"Valero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,7,28]]},"reference":[{"key":"208_CR1","unstructured":"Becker, D., Singh, R.K., Tell, S.G.: Readings in hardware\/software co-design. In: An Engineering Environment for Hardware\/Software Co-simulation, pp. 550\u2013555. Kluwer, Norwell (2002). http:\/\/dl.acm.org\/citation.cfm?id=567003.567052"},{"key":"208_CR2","unstructured":"Bellard, F.: Qemu, a fast and portable dynamic translator. In: Proceedings of the USENIX Annual Technical Conference, FREENIX Track, pp. 41\u201346 (2005)"},{"issue":"4","key":"208_CR3","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MM.2006.82","volume":"26","author":"N. Binkert","year":"2006","unstructured":"Binkert N., Dreslinski R., Hsu L., Lim K., Saidi A., Reinhardt S.: The M5 simulator: Modeling networked systems. IEEE Micro 26(4), 52\u201360 (2006). doi: 10.1109\/MM.2006.82","journal-title":"IEEE Micro"},{"key":"208_CR4","doi-asserted-by":"crossref","unstructured":"Cao Minh, C., Chung, J., Kozyrakis, C., Olukotun, K.: STAMP: Stanford transactional applications for multi-processing. In: IISWC\u201908: Proceedings of the IEEE International Symposium on Workload Characterization (2008). doi: 10.1109\/IISWC.2008.4636089","DOI":"10.1109\/IISWC.2008.4636089"},{"issue":"6","key":"208_CR5","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1109\/MM.2004.91","volume":"24","author":"L. Hammond","year":"2004","unstructured":"Hammond L., Carlstrom B.D., Wong V., Chen M., Kozyrakis C., Olukotun K.: Transactional coherence and consistency: simplifying parallel hardware and software. IEEE Micro 24(6), 92\u2013103 (2004). doi: 10.1109\/MM.2004.91","journal-title":"IEEE Micro"},{"key":"208_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01728-5","volume-title":"Transactional Memory","author":"T. Harris","year":"2010","unstructured":"Harris T., Larus J., Rajwar R.: Transactional Memory, 2nd edn. Morgan and Claypool Publishers, San Francisco (2010)","edition":"2"},{"key":"208_CR7","unstructured":"Harrold, M.J.: Testing: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering, ICSE\u201900, pp. 61\u201372. ACM, New York (2000). http:\/\/doi.acm.org\/10.1145\/336512.336532"},{"issue":"10","key":"208_CR8","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. Hoare","year":"1969","unstructured":"Hoare C.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"208_CR9","doi-asserted-by":"crossref","unstructured":"Jindal, R., Jain, K.: Verification of transaction-level systemc models using rtl testbenches. In: 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003 (MEMOCODE\u201903), Proceedings, pp. 199\u2013203. IEEE (2003)","DOI":"10.1109\/MEMCOD.2003.1210104"},{"key":"208_CR10","volume-title":"Lessons Learned in Software Testing: A Context-Driven Approach","author":"C. Kaner","year":"2002","unstructured":"Kaner C., Bach J., Pettichord B.: Lessons Learned in Software Testing: A Context-Driven Approach. Wiley, New York (2002)"},{"key":"208_CR11","unstructured":"Moore, K.E., Bobba, J., Moravan, M.J., Hill, M.D., Wood, D.A.: LogTM: Log-based transactional memory. In: In proceedings of the HPCA-12, pp. 254\u2013265 (2006)"},{"key":"208_CR12","doi-asserted-by":"crossref","unstructured":"Runeson, P.: A survey of unit testing practices. IEEE Softw. 23, 22\u201329 (2006). doi: 10.1109\/MS.2006.91 . http:\/\/portal.acm.org\/citation.cfm?id=1159169.1159387","DOI":"10.1109\/MS.2006.91"},{"key":"208_CR13","unstructured":"Stallman, R., Pesch, R.: The gnu source-level debugger. User Manual, Edition 4.12, for GDB version 4"},{"issue":"1","key":"208_CR14","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1016\/0950-5849(90)90044-R","volume":"32","author":"M. Vouk","year":"1990","unstructured":"Vouk M.: Back-to-back testing. Inf. Softw. Technol. 32(1), 34\u201345 (1990)","journal-title":"Inf. Softw. Technol."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-012-0208-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-012-0208-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-012-0208-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T18:56:38Z","timestamp":1687632998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-012-0208-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,28]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["208"],"URL":"https:\/\/doi.org\/10.1007\/s10766-012-0208-7","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,28]]}}}