{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T12:01:58Z","timestamp":1649073718596},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T00:00:00Z","timestamp":1337904000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s10836-012-5303-6","type":"journal-article","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T21:02:31Z","timestamp":1344891751000},"page":"435-448","source":"Crossref","is-referenced-by-count":3,"title":["On the Reuse of TLM Mutation Analysis at RTL"],"prefix":"10.1007","volume":"28","author":[{"given":"Valerio","family":"Guarnieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Di Guglielmo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Bombieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanno","family":"Hantson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Raik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maksim","family":"Jenihhin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimund","family":"Ubar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,5,25]]},"reference":[{"key":"5303_CR1","volume-title":"Digital systems testing and testable design","author":"M Abramovici","year":"1990","unstructured":"Abramovici M, Breuer M, Friedman A (1990) Digital systems testing and testable design. Computer Science Press, New York"},{"key":"5303_CR2","unstructured":"Agrawal H, DeMillo RA, Hathaway B, Hsu W, Hsu W, Krauser EW, Martin RJ, Mathur AP, Spafford E (1989) Design of mutant operators for the C programming language. Purdue University, West Lafayette, Indiana, techreport SERC-TR-41-P"},{"key":"5303_CR3","doi-asserted-by":"crossref","unstructured":"Alexander RT, Bieman JM, Ghosh S, Bixia J (2002) Mutation of Java objects. In: Proc. of IEEE ISSRE, pp 341\u2013351","DOI":"10.1109\/ISSRE.2002.1173285"},{"key":"5303_CR4","doi-asserted-by":"crossref","unstructured":"Belli F, Budnik C-J, Wong W-E (2006) Basic operations for generating behavioral mutants. In: Proc. of IEEE ISSRE, pp 10\u201318","DOI":"10.1109\/MUTATION.2006.2"},{"key":"5303_CR5","doi-asserted-by":"crossref","unstructured":"Bombieri N, Fummi F, Pravadelli G (2006) On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. In: Proc. of ACM\/IEEE conference on design, automation and test in Europe, DATE, pp 1007\u20131012","DOI":"10.1109\/DATE.2006.243898"},{"key":"5303_CR6","unstructured":"Bombieri N, Fummi F, Pravadelli G (2008) A mutation model for the SystemC TLM 2.0 communication interfaces. In: Proc. of ACM\/IEEE conference on design, automation and test in Europe, DATE, pp 396\u2013401"},{"key":"5303_CR7","unstructured":"Bombieri N, Fummi F, Pravadelli G (2009) On the mutation analysis of SystemC TLM-2.0 standard. In: Proceedings of IEEE international workshop on microprocessor test and verification, MTV, pp 32\u201337"},{"key":"5303_CR8","doi-asserted-by":"crossref","unstructured":"Bombieri N, Fummi F, Pravadelli G, Hampton M, Letombe F (2009) Functional qualification of TLM verification. In: Proc. of the ACM\/IEEE conference on design, automation and test in Europe, DATE, pp 190\u2013195","DOI":"10.1109\/DATE.2009.5090656"},{"key":"5303_CR9","doi-asserted-by":"crossref","unstructured":"Bradbury JS, Cordy JR, Dingel J (2006) Mutation operators for concurrent Java (J2SE 5.0). In: Proc. of IEEE ISSRE workshops, pp 11\u201320","DOI":"10.1109\/MUTATION.2006.10"},{"key":"5303_CR10","unstructured":"Budd TA, Sayward FG (1977) Users guide to the Pilot mutation system. Yale University, New Haven, Connecticut, Technical report 114"},{"key":"5303_CR11","doi-asserted-by":"crossref","unstructured":"Budd TA, DeMillo RA, Lipton R, Sayward F (1980) Theoretical and empirical studies on using program mutation to test the functional correctness of programs. In: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on principles of programming languages. ACM, pp 220\u2013233","DOI":"10.21236\/ADA083078"},{"key":"5303_CR12","unstructured":"Cai L, Gajski DD (2003) Transaction level modeling: an overview. In: ACM\/IEEE CODES+ISSS, pp 19\u201324"},{"key":"5303_CR13","unstructured":"Catapult C Synthesis (2010). Mentor graphics. http:\/\/www.mentor.com\/esl\/catapult\/"},{"key":"5303_CR14","unstructured":"Choi BJ, DeMillo RA, Krauser EW, Martin RJ, Mathur AP, Offutt AJ, Pan H, Spafford EH (1989) The Mothra tool set. In: Proceedings of the 22nd annual Hawaii international conference on system sciences (HICSS), pp 275\u2013284"},{"issue":"24","key":"5303_CR15","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MDT.2009.69","volume":"13","author":"P Coussy","year":"2009","unstructured":"Coussy P, Gajski DD, Meredith M, Takach A (2009) An introduction to high-level synthesis. IEEE Des Test Comput 13(24):8\u201317","journal-title":"IEEE Des Test Comput"},{"key":"5303_CR16","unstructured":"Cynthesizer - TLM Synthesis (2008). Forte Design Systems. http:\/\/www.forteds.com\/products\/tlmsynthesis.asp"},{"issue":"4","key":"5303_CR17","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo RA, Lipton RJ, Sayward FG (1978) Hints on test data selection: help for the practicing programmer. Computer 11(4):34\u201341","journal-title":"Computer"},{"issue":"9","key":"5303_CR18","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1109\/TSE.2006.92","volume":"32","author":"H Do","year":"2006","unstructured":"Do H, Rothermel G (2006) On the use of mutation faults in empirical assessments of test case prioritization techniques. IEEE Trans Softw Eng 32(9):733\u2013752","journal-title":"IEEE Trans Softw Eng"},{"key":"5303_CR19","doi-asserted-by":"crossref","unstructured":"Guarnieri V, Bombieri N, Pravadelli G, Fummi F, Hantson H, Raik J, Jenihhin M, Ubar R (2011) Mutation analysis for SystemC designs at TLM. In: Proc. of IEEE Latin-American test workshop (LATW), pp 27\u201330","DOI":"10.1109\/LATW.2011.5985925"},{"key":"5303_CR20","doi-asserted-by":"crossref","unstructured":"Guderlei R, Just R, Schneckenburger C, Schweiggert F (2008) Benchmarking testing strategies with tools from mutation analysis. In: International conference on software testing verification and validation workshop. IEEE, pp 360\u2013364","DOI":"10.1109\/ICSTW.2008.11"},{"issue":"4","key":"5303_CR21","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/TSE.1977.231145","volume":"3","author":"RG Hamlet","year":"1977","unstructured":"Hamlet RG (1977) Testing programs with the aid of a compiler. IEEE Treans Softw Eng 3(4):279\u2013290","journal-title":"IEEE Treans Softw Eng"},{"key":"5303_CR22","doi-asserted-by":"crossref","unstructured":"Hantson H, Raik J, Jenihhin M, Chepurov A, Ubar R, di\u00a0Guglielmo G, Fummi F (2010) Mutation analysis with high-level decision diagrams. In: Test workshop (LATW), 2010 11th Latin American, pp 1\u20136","DOI":"10.1109\/LATW.2010.5550336"},{"issue":"9","key":"5303_CR23","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1109\/TSE.2006.92","volume":"32","author":"D Hyunsook","year":"2006","unstructured":"Hyunsook D, Rothermel G (2006) On the use of mutation faults in empirical assessments of test case prioritization techniques. IEEE Trans Softw Eng 32(9):733\u2013752","journal-title":"IEEE Trans Softw Eng"},{"key":"5303_CR24","doi-asserted-by":"crossref","unstructured":"Irvine SA et al (2007) Jumble Java byte code to measure the effectiveness of unit tests. In: Mutation testing workshop, pp 169\u2013175","DOI":"10.1109\/TAIC.PART.2007.38"},{"key":"5303_CR25","unstructured":"Lipton R (1971) Fault diagnosis of computer programs. Carnegie Mellon University, Student report"},{"key":"5303_CR26","doi-asserted-by":"crossref","unstructured":"Lisherness P, Cheng K-T (Tim) (2010) SCEMIT: a SystemC error and mutation injection tool. In: Proc. of ACM\/IEEE design automation conference (DAC), pp 228\u2013233","DOI":"10.1145\/1837274.1837333"},{"key":"5303_CR27","unstructured":"Lyu M-R, Zubin H, Sze SKS, Xia C (2003) An empirical study on testing and fault tolerance for software reliability engineering. In: Proc. of IEEE ISSRE, pp 119\u2013130"},{"key":"5303_CR28","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"Y-S Ma","year":"2005","unstructured":"Ma Y-S, Offutt AJ, Kwon YR (2005) MuJava: an automated class mutation system: research articles. Softw Test Verif Reliab 15:97\u2013133","journal-title":"Softw Test Verif Reliab"},{"key":"5303_CR29","unstructured":"Offutt AJ, King KN (1987) A Fortran 77 interpreter for mutation analysis. In: Papers of the symposium on interpreters and interpretive techniques. SIGPLAN \u201987, pp 177\u2013188"},{"key":"5303_CR30","doi-asserted-by":"crossref","unstructured":"Offutt AJ, Rothermel G, Zapf C (1993) An experimental evaluation of selective mutation. In: Proceedings of the 15th international conference on software engineering (ICSE\u201993), Baltimore, Maryland, pp 100\u2013107","DOI":"10.1109\/ICSE.1993.346062"},{"issue":"2","key":"5303_CR31","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/227607.227610","volume":"5","author":"AJ Offutt","year":"1996","unstructured":"Offutt AJ, Lee A, Rothermel G, Untch R, Zapf C (1996) An experimental determination of sufficient mutant operators. ACM Trans Softw Eng Methodol 5(2):99\u2013118","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"5303_CR32","unstructured":"Offutt AJ, Voas J (1996) Subsumption of condition coverage techniques by mutation testing. Department of Information and Software Systems Engineering, George Mason University, Technical report ISSE-TR-96-01"},{"key":"5303_CR33","doi-asserted-by":"crossref","unstructured":"Sen A (2009) Mutation operators for concurrent SystemC designs. In: Proc. of IEEE international workshop on microprocessor test and verification. MTV, pp 27\u201331","DOI":"10.1109\/MTV.2009.8"},{"key":"5303_CR34","doi-asserted-by":"crossref","unstructured":"Sen A, Abadir MS (2010) Coverage metrics for verification of concurrent SystemC designs using mutation testing. In: Proc. of IEEE international high-level design, validation, and test workshop, pp 75\u201381","DOI":"10.1109\/HLDVT.2010.5496659"},{"key":"5303_CR35","doi-asserted-by":"crossref","unstructured":"Tuya J, Suarez-Cabal MJ, De La Riva C (2006) SQLMutation: a tool to generate mutants of SQL database queries. In: Mutation testing workshop, pp 39\u201343","DOI":"10.1109\/MUTATION.2006.13"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-012-5303-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-012-5303-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-012-5303-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T20:32:31Z","timestamp":1562099551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-012-5303-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,25]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["5303"],"URL":"https:\/\/doi.org\/10.1007\/s10836-012-5303-6","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,25]]}}}