{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:11:46Z","timestamp":1725570706648},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642175770"},{"type":"electronic","value":"9783642175787"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17578-7_17","type":"book-chapter","created":{"date-parts":[[2010,11,26]],"date-time":"2010-11-26T12:31:03Z","timestamp":1290774663000},"page":"164-173","source":"Crossref","is-referenced-by-count":8,"title":["Model-Based Higher-Order Mutation Analysis"],"prefix":"10.1007","author":[{"given":"Fevzi","family":"Belli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nevin","family":"G\u00fcler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Hollmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00f6khan","family":"Suna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esra","family":"Y\u0131ld\u0131z","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/stvr.335","volume":"16","author":"F. Belli","year":"2006","unstructured":"Belli, F., Budnik, C.J., White, L.: Event-based Modeling, Analysis and Testing of User Interactions: Approach and Case Study. Journal of Software Testing, Verification and Reliability\u00a016(1), 3\u201332 (2006)","journal-title":"Journal of Software Testing, Verification and Reliability"},{"doi-asserted-by":"crossref","unstructured":"Belli, F., Budnik, C.J., Wong, W.E.: Basic Operations for Generating Behavioral Mutants. In: Proc. 2nd Workshop on Mutation Analysis (2006)","key":"17_CR2","DOI":"10.1109\/MUTATION.2006.2"},{"doi-asserted-by":"crossref","unstructured":"Belli, F.: Finite-State Testing and Analysis of Graphical User Interfaces. In: Proc. 12th IEEE International Symposium on Software Reliability Engineering, pp. 34\u201343 (2001)","key":"17_CR3","DOI":"10.1109\/ISSRE.2001.989456"},{"doi-asserted-by":"crossref","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on Test Data Selection: Help for the Practicing Programmer. Computer\u00a011(4) (1978)","key":"17_CR4","DOI":"10.1109\/C-M.1978.218136"},{"unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Delamaro, M.E., Masiero, P.C.: Mutation Analysis Testing for Finite-State Machines. In: Proc. 5th IEEE International Symposium on Software Reliability Engineering, pp. 220\u2013229 (1994)","key":"17_CR5"},{"doi-asserted-by":"crossref","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Sugeta, T., Masiero, P.C.: Mutation Testing Applied to Validate Specifications Based on Statecharts. In: Proc. 10th IEEE International Symposium on Software Reliability Engineering, pp. 210\u2013219 (1999)","key":"17_CR6","DOI":"10.1109\/ISSRE.1999.809326"},{"doi-asserted-by":"crossref","unstructured":"Hamlet, R.G.: Testing Programs with the Aid of a Compiler. IEEE Transactions on Software Engineering\u00a03(4) (1977)","key":"17_CR7","DOI":"10.1109\/TSE.1977.231145"},{"doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Langdon, W.B.: A Manifesto for Higher Order Mutation Testing. In: Proc. 5th International Workshop on Mutation Analysis (2010)","key":"17_CR8","DOI":"10.1109\/ICSTW.2010.13"},{"unstructured":"ISELTA, http:\/\/www.iselta.de\/","key":"17_CR9"},{"doi-asserted-by":"crossref","unstructured":"Jia, Y., Harman, M.: Constructing Subtle Faults Using Higher Order Mutation Testing. In: SCAM, pp. 249\u2013258 (2009)","key":"17_CR10","DOI":"10.1109\/SCAM.2008.36"},{"issue":"10","key":"17_CR11","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1016\/j.infsof.2009.04.016","volume":"51","author":"Y. Jia","year":"2009","unstructured":"Jia, Y., Harman, M.: Higher Order Mutation Testing. Journal of Information and software Technology\u00a051(10), 1379\u20131393 (2009)","journal-title":"Journal of Information and software Technology"},{"doi-asserted-by":"crossref","unstructured":"Mathur, A.P.: Performance, Effectiveness and Reliability Issues in Software Testing. In: Proc. of 5th International Computer Software and Applications Conference, Tokyo, Japan, pp. 604\u2013605 (1991)","key":"17_CR12","DOI":"10.1109\/CMPSAC.1991.170248"},{"issue":"4","key":"17_CR13","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<205::AID-STVR186>3.0.CO;2-X","volume":"9","author":"E.S. Mresa","year":"1999","unstructured":"Mresa, E.S., Bottaci, L.: Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical Study. Software Testing, Verification and Reliability\u00a09(4), 205\u2013232 (1999)","journal-title":"Software Testing, Verification and Reliability"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/ICSE.1993.346062","volume-title":"Proc. 15th International Conference on Software Engineering (ICSE 1993)","author":"A.J. Offutt","year":"1993","unstructured":"Offutt, A.J., Rothermel, G., Zapf, C.: An Experimental Evaluation of Selective Mutation. In: Proc. 15th International Conference on Software Engineering (ICSE 1993), pp. 100\u2013107. IEEE Computer Society Pres., Baltimore (1993)"},{"issue":"1","key":"17_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/125489.125473","volume":"1","author":"A.J. Offutt","year":"1992","unstructured":"Offutt, A.J.: Investigations of the Software Testing Coupling Effect. ACM Transactions on Software Engineering and Methodology\u00a01(1), 5\u201320 (1992)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"doi-asserted-by":"crossref","unstructured":"Offutt, A.J.: The Coupling Effect: Fact or Fiction? In: Proc. 3rd Symposium on Software Testing, Analysis and Verification, Key West, FL, pp. 131\u2013140 (1989)","key":"17_CR16","DOI":"10.1145\/75308.75324"},{"doi-asserted-by":"crossref","unstructured":"Schuler, D., Dallmeier, V., Zeller, A.: Efficient Mutation Testing by Checking Invariant Violations. In: Proc. 2009 International Symposium on Software Testing and Analysis, Chicago, pp. 69\u201380 (2009)","key":"17_CR17","DOI":"10.1145\/1572272.1572282"},{"issue":"2-3","key":"17_CR18","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0167-6423(03)00022-4","volume":"48","author":"K.S.H.T. Wah","year":"2003","unstructured":"Wah, K.S.H.T.: An Analysis of the Coupling Effect I: Single Test Data. Science of Computer Programming\u00a048(2-3), 119\u2013161 (2003)","journal-title":"Science of Computer Programming"},{"issue":"1","key":"17_CR19","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/(SICI)1099-1689(200003)10:1<3::AID-STVR196>3.0.CO;2-P","volume":"10","author":"K.S.H.T. Wah","year":"2000","unstructured":"Wah, K.S.H.T.: A Theoretical Study of Fault Coupling. Software Testing, Verification & Reliability\u00a010(1), 3\u201345 (2000)","journal-title":"Software Testing, Verification & Reliability"},{"issue":"4","key":"17_CR20","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software Unit Test Coverage and Adequacy. ACM Computing Surveys\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Computing Surveys"}],"container-title":["Communications in Computer and Information Science","Advances in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17578-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T15:34:19Z","timestamp":1559835259000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17578-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642175770","9783642175787"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17578-7_17","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}