{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:30:10Z","timestamp":1772119810981,"version":"3.50.1"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,6,30]],"date-time":"2023-06-30T00:00:00Z","timestamp":1688083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,6,30]],"date-time":"2023-06-30T00:00:00Z","timestamp":1688083200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1007\/s11219-023-09643-3","type":"journal-article","created":{"date-parts":[[2023,6,30]],"date-time":"2023-06-30T15:01:30Z","timestamp":1688137290000},"page":"1369-1414","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Object coverage criteria for supporting object-oriented testing"],"prefix":"10.1007","volume":"31","author":[{"given":"M.","family":"Ghoreshi","sequence":"first","affiliation":[]},{"given":"H.","family":"Haghighi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,30]]},"reference":[{"key":"9643_CR1","doi-asserted-by":"crossref","unstructured":"Alexander, R. T., & Offutt, A. J. (2000, October). Criteria for testing polymorphic relationships. In Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 (pp. 15\u201323). IEEE.","DOI":"10.1109\/ISSRE.2000.885857"},{"key":"9643_CR2","doi-asserted-by":"crossref","unstructured":"Alexander, R. T., Offutt, J., & Bieman, J. M. (2002, December). Syntactic fault patterns in oo programs. In Eighth IEEE International Conference on Engineering of Complex Computer Systems (pp. 193\u2013202). IEEE.","DOI":"10.1109\/ICECCS.2002.1181512"},{"issue":"4","key":"9643_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1002\/stvr.417","volume":"20","author":"RT Alexander","year":"2010","unstructured":"Alexander, R. T., Offutt, J., & Stefik, A. (2010). Testing coupling relationships in object-oriented programs. Software Testing, Verification and Reliability, 20(4), 291\u2013327.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9643_CR4","doi-asserted-by":"crossref","unstructured":"Ammann P, Offutt J. (2016, December 13). Introduction to software testing. Cambridge University Press.","DOI":"10.1017\/9781316771273"},{"key":"9643_CR5","doi-asserted-by":"publisher","first-page":"85262","DOI":"10.1109\/ACCESS.2019.2924040","volume":"7","author":"SR Aziz","year":"2019","unstructured":"Aziz, S. R., Khan, T., & Nadeem, A. (2019). Experimental validation of inheritance metrics\u2019 impact on software fault prediction. IEEE Access, 7, 85262\u201385275.","journal-title":"IEEE Access"},{"key":"9643_CR6","unstructured":"Binder, R. (2000). Testing object-oriented systems: Models, patterns, and tools. Addison-Wesley Professional."},{"key":"9643_CR7","unstructured":"Bloch, J. (2008). Effective java (the java series). Prentice Hall PTR."},{"key":"9643_CR8","doi-asserted-by":"crossref","unstructured":"Braione, P., & Denaro, G. (2019, May). SUSHI and TARDIS at the SBST2019 tool competition. In 2019 IEEE\/ACM 12th International Workshop on Search-Based Software Testing (SBST) (pp. 25\u201328). IEEE.","DOI":"10.1109\/SBST.2019.00016"},{"key":"9643_CR9","doi-asserted-by":"crossref","unstructured":"Coles, H., Laurent, T., Henard, C., Papadakis, M., & Ventresque, A. (2016, July). Pit: A practical mutation testing tool for java. In Proceedings of the 25th international symposium on software testing and analysis (pp. 449\u2013452).","DOI":"10.1145\/2931037.2948707"},{"key":"9643_CR10","doi-asserted-by":"crossref","unstructured":"Denaro, G., Margara, A., Pezze, M., & Vivanti, M. (2015, May). Dynamic data flow testing of object oriented systems. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering (Vol. 1, pp. 947\u2013958). IEEE.","DOI":"10.1109\/ICSE.2015.104"},{"key":"9643_CR11","doi-asserted-by":"crossref","unstructured":"Devroey, X., Panichella, S., & Gambi, A. (2020, June). Java unit testing tool competition: Eighth round. In Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops (pp. 545\u2013548).","DOI":"10.1145\/3387940.3392265"},{"key":"9643_CR12","doi-asserted-by":"crossref","unstructured":"Fraser, G., & Arcuri, A. (2011, September). Evosuite: Automatic test suite generation for object-oriented software. In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering (pp. 416\u2013419).","DOI":"10.1145\/2025113.2025179"},{"issue":"3","key":"9643_CR13","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/s10664-013-9288-2","volume":"20","author":"G Fraser","year":"2015","unstructured":"Fraser, G., & Arcuri, A. (2015). 1600 faults in 100 projects: Automatically finding faults while achieving high coverage with evosuite. Empirical Software Engineering, 20(3), 611\u2013639.","journal-title":"Empirical Software Engineering"},{"key":"9643_CR14","unstructured":"Gamma, E., Johnson, R., Helm, R., Johnson, R. E., & Vlissides, J. (1995). Design patterns: Elements of reusable object-oriented software. Pearson Deutschland GmbH."},{"issue":"8","key":"9643_CR15","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1109\/TSE.2015.2421011","volume":"41","author":"G Gay","year":"2015","unstructured":"Gay, G., Staats, M., Whalen, M., & Heimdahl, M. P. (2015). The risks of coverage-directed test case generation. IEEE Transactions on Software Engineering, 41(8), 803\u2013819.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9643_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2016.05.005","volume":"78","author":"M Ghoreshi","year":"2016","unstructured":"Ghoreshi, M., & Haghighi, H. (2016). An incremental method for extracting tests from object-oriented specification. Information and Software Technology, 78, 1\u201326.","journal-title":"Information and Software Technology"},{"key":"9643_CR17","doi-asserted-by":"crossref","unstructured":"Gopinath, R., Jensen, C., & Groce, A. (2014, May). Code coverage for suite evaluation by developers. In Proceedings of the 36th International Conference on Software Engineering (pp. 72\u201382).","DOI":"10.1145\/2568225.2568278"},{"key":"9643_CR18","doi-asserted-by":"crossref","unstructured":"Harrold, M. J., McGregor, J. D., & Fitzpatrick, K. J. (1992, June). Incremental testing of object-oriented class structures. In Proceedings of the 14th international conference on Software engineering (pp. 68\u201380).","DOI":"10.1145\/143062.143093"},{"key":"9643_CR19","doi-asserted-by":"crossref","unstructured":"Hemmati, H. (2015, August). How effective are code coverage criteria? In 2015 IEEE International Conference on Software Quality, Reliability and Security (pp. 151\u2013156). IEEE.","DOI":"10.1109\/QRS.2015.30"},{"key":"9643_CR20","doi-asserted-by":"crossref","unstructured":"Just, R., Jalali, D., & Ernst, M. D. (2014, July). Defects4J: A database of existing faults to enable controlled testing studies for Java programs. In Proceedings of the 2014 International Symposium on Software Testing and Analysis (pp. 437\u2013440).","DOI":"10.1145\/2610384.2628055"},{"key":"9643_CR21","doi-asserted-by":"crossref","unstructured":"Kifetew, F., Devroey, X., & Rueda, U. (2019, May). Java unit testing tool competition-seventh round. In 2019 IEEE\/ACM 12th International Workshop on Search-Based Software Testing (SBST) (pp. 15\u201320). IEEE.","DOI":"10.1109\/SBST.2019.00014"},{"issue":"4","key":"9643_CR22","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/stvr.238","volume":"11","author":"SW Kim","year":"2001","unstructured":"Kim, S. W., Clark, J. A., & McDermid, J. A. (2001). Investigating the effectiveness of object-oriented testing strategies using the mutation method. Software Testing, Verification and Reliability, 11(4), 207\u2013225.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9643_CR23","doi-asserted-by":"crossref","unstructured":"Liu, B., Ge, H., Chen, J., & Bao, Q. (2019, November). An automatic testing platform for object-oriented software based on code coverage. In Proceedings of the 2019 the 9th International Conference on Communication and Network Security (pp. 20\u201324).","DOI":"10.1145\/3371676.3371702"},{"key":"9643_CR24","doi-asserted-by":"crossref","unstructured":"Ma, Y. S., Offutt, J., & Kwon, Y. R. (2006, May). MuJava: A mutation system for Java. In Proceedings of the 28th international conference on Software engineering (pp. 827\u2013830).","DOI":"10.1145\/1134285.1134425"},{"issue":"1","key":"9643_CR25","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1049\/iet-sen.2008.0038","volume":"4","author":"L Madeyski","year":"2010","unstructured":"Madeyski, L., & Radyk, N. (2010). Judy\u2013a mutation testing tool for Java. IET Software, 4(1), 32\u201342.","journal-title":"IET Software"},{"key":"9643_CR26","doi-asserted-by":"crossref","unstructured":"Mcheick, H., Dhiab, H., Dbouk, M., & Mcheik, R. (2010, May). Detecting type errors and secure coding in C\/C++ applications. In ACS\/IEEE International Conference on Computer Systems and Applications-AICCSA 2010 (pp. 1\u20139). IEEE.","DOI":"10.1109\/AICCSA.2010.5587027"},{"key":"9643_CR27","doi-asserted-by":"crossref","unstructured":"Molina, U. R., Kifetew, F., & Panichella, A. (2018, May). Java unit testing tool competition-sixth round. In 2018 IEEE\/ACM 11th International Workshop on Search-Based Software Testing (SBST) (pp. 22\u201329). IEEE.","DOI":"10.1145\/3194718.3194728"},{"key":"9643_CR28","doi-asserted-by":"crossref","unstructured":"Najumudheen, E. S. F., Mall, R., & Samanta, D. (2019, February). Modeling and coverage analysis of programs with exception handling. In Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) (pp. 1\u201311).","DOI":"10.1145\/3299771.3299785"},{"key":"9643_CR29","doi-asserted-by":"crossref","unstructured":"Offutt, J., Alexander, R., Wu, Y., Xiao, Q., & Hutchinson, C. (2001, November). A fault model for subtype inheritance and polymorphism. In Proceedings 12th International Symposium on Software Reliability Engineering (pp. 84\u201393). IEEE.","DOI":"10.1109\/ISSRE.2001.989461"},{"key":"9643_CR30","doi-asserted-by":"crossref","unstructured":"Offutt, J., Ma, Y. S., & Kwon, Y. R. (2006, May). The class-level mutants of MuJava. In Proceedings of the 2006 international workshop on Automation of software test (pp. 78\u201384).","DOI":"10.1145\/1138929.1138945"},{"key":"9643_CR31","unstructured":"Orso, A., & Pezze, M. (1999, June). Integration testing of procedural object-oriented languages with polymorphism. In Proceedings of the 16th International Conference on Testing Computer Software: Future Trends in Testing (TCS\u201999)."},{"key":"9643_CR32","doi-asserted-by":"crossref","unstructured":"Pacheco, C., & Ernst, M. D. (2007, October). Randoop: Feedback-directed random testing for Java. In Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion (pp. 815\u2013816).","DOI":"10.1145\/1297846.1297902"},{"key":"9643_CR33","doi-asserted-by":"crossref","unstructured":"Papadakis, M., Kintis, M., Zhang, J., Jia, Y., Le Traon, Y., & Harman, M. (2019). Mutation testing advances: An analysis and survey. In Advances in Computers (Vol. 112, pp. 275\u2013378). Elsevier.","DOI":"10.1016\/bs.adcom.2018.03.015"},{"issue":"5","key":"9643_CR34","first-page":"13","volume":"2","author":"DE Perry","year":"1990","unstructured":"Perry, D. E., & Kaiser, G. E. (1990). Adequate testing and object-oriented programming. Journal of Object-Oriented Programming, 2(5), 13\u201319.","journal-title":"Journal of Object-Oriented Programming"},{"key":"9643_CR35","doi-asserted-by":"crossref","unstructured":"Prasetya, I. W. B. (2015, August). T3i: A tool for generating and querying test suites for java. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (pp. 950\u2013953).","DOI":"10.1145\/2786805.2803182"},{"issue":"1","key":"9643_CR36","first-page":"21","volume":"2","author":"NM Razali","year":"2011","unstructured":"Razali, N. M., & Wah, Y. B. (2011). Power comparisons of Shapiro-Wilk, Kolmogorov-Smirnov, Lilliefors and Anderson-Darling tests. Journal of Statistical Modeling and Analytics, 2(1), 21\u201333.","journal-title":"Journal of Statistical Modeling and Analytics"},{"key":"9643_CR37","doi-asserted-by":"crossref","unstructured":"Saha, R. K., Lyu, Y., Lam, W., Yoshida, H., & Prasad, M. R. (2018, May). Bugs. jar: A large-scale, diverse dataset of real-world java bugs. In Proceedings of the 15th international Conference on Mining Software Repositories (pp. 10\u201313).","DOI":"10.1145\/3196398.3196473"},{"key":"9643_CR38","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.jss.2018.06.024","volume":"144","author":"A Schwartz","year":"2018","unstructured":"Schwartz, A., Puckett, D., Meng, Y., & Gay, G. (2018). Investigating faults missed by test suites achieving high code coverage. Journal of Systems and Software, 144, 106\u2013120.","journal-title":"Journal of Systems and Software"},{"issue":"10","key":"9643_CR39","doi-asserted-by":"publisher","first-page":"1124","DOI":"10.1016\/j.infsof.2011.03.006","volume":"53","author":"S Segura","year":"2011","unstructured":"Segura, S., Hierons, R. M., Benavides, D., & Ruiz-Cort\u00e9s, A. (2011). Mutation testing on an object-oriented framework: An experience report. Information and Software Technology, 53(10), 1124\u20131136.","journal-title":"Information and Software Technology"},{"key":"9643_CR40","unstructured":"Smith, G. (2012). The Object-Z specification language (Vol. 1). Springer Science & Business Media."},{"key":"9643_CR41","doi-asserted-by":"crossref","unstructured":"Smith, M. D., & Robson, D. J. (1990, November). Object-oriented programming-the problems of validation. In Proceedings Conference on Software Maintenance 1990 (pp. 272\u2013281). IEEE.","DOI":"10.1109\/ICSM.1990.131372"},{"issue":"1","key":"9643_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3020266","volume":"50","author":"T Su","year":"2017","unstructured":"Su, T., Wu, K., Miao, W., Pu, G., He, J., Chen, Y., & Su, Z. (2017). A survey on data-flow testing. ACM Computing Surveys (CSUR), 50(1), 1\u201335.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"9643_CR43","doi-asserted-by":"crossref","unstructured":"Zou, Y., Chen, Z., Zheng, Y., Zhang, X., & Gao, Z. (2014, July). Virtual DOM coverage for effective testing of dynamic web applications. In Proceedings of the 2014 International Symposium on Software Testing and Analysis (pp. 60\u201370).","DOI":"10.1145\/2610384.2610399"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-023-09643-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11219-023-09643-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-023-09643-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:26:32Z","timestamp":1729671992000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11219-023-09643-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,30]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["9643"],"URL":"https:\/\/doi.org\/10.1007\/s11219-023-09643-3","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-1735102\/v1","asserted-by":"object"}]},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6,30]]},"assertion":[{"value":"2 June 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 June 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}