{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:10:13Z","timestamp":1766067013372,"version":"3.37.3"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T00:00:00Z","timestamp":1560556800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T00:00:00Z","timestamp":1560556800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"MHRD India, funded Institute Research Assistance"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Syst Assur Eng Manag"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s13198-019-00787-9","type":"journal-article","created":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T13:03:23Z","timestamp":1560603803000},"page":"576-601","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An integration test coverage metric for Java programs"],"prefix":"10.1007","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4827-1171","authenticated-orcid":false,"given":"Debashis","family":"Mukherjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajib","family":"Mall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,15]]},"reference":[{"key":"787_CR1","doi-asserted-by":"crossref","unstructured":"Abdurazik A, Offutt J (2006) Coupling-based class integration and test order. In: Proceedings of the 2006 international workshop on automation of software test AST\u201906, Shanghai China, pp 50\u201356","DOI":"10.1145\/1138929.1138940"},{"issue":"2010","key":"787_CR2","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1002\/stvr.417","volume":"20","author":"RT Alexander","year":"2010","unstructured":"Alexander RT, Offutt J, Stefik A (2010) Testing coupling relationships in object-oriented programs. Softw Test Verif Reliab 20(2010):291\u2013327","journal-title":"Softw Test Verif Reliab"},{"issue":"2007","key":"787_CR3","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1016\/j.infsof.2006.11.002","volume":"49","author":"S Ali","year":"2007","unstructured":"Ali S, Briand LC, Jaffar-ur Rehman M, Asghar H, Iqbal MZZ, Nadeem A (2007) A state-based approach to integration testing based on UML models. Inf Softw Technol 49(2007):1087\u20131106","journal-title":"Inf Softw Technol"},{"key":"787_CR4","unstructured":"Baldini F, Giacomo Bucci LG, Vicario E (2007) Test coverage analysis for object oriented programs, structural testing through aspect oriented instrumentation. In: ICSOFT\u201907"},{"key":"787_CR5","unstructured":"Ball T (2004) A theory of predicate-complete test coverage and generation. Technical report MSR-TR-2004-28, Microsoft Research"},{"key":"787_CR6","volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"RV Binder","year":"1999","unstructured":"Binder RV (1999) Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Object Technology, Boston"},{"key":"787_CR7","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/3-540-45441-1_15","volume-title":"\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"Lionel Briand","year":"2001","unstructured":"Briand L, Labiche Y (2001) A UML-based approach to system testing. In: In the 4th international conference of the UML, LNCS, Toronto, Canada 2185, pp 194\u2013208"},{"key":"787_CR8","doi-asserted-by":"crossref","unstructured":"Cai X, Lyu MR (2005) The effect of code coverage on fault detection under different testing profiles. International workshop on advances in model-based testing, pp 1\u20137","DOI":"10.1145\/1083274.1083288"},{"key":"787_CR9","doi-asserted-by":"crossref","unstructured":"Choi JD, Grove D, Hind M, Sarkar V (1999) Efficient and precise modeling of exceptions for the analysis of Java programs. In: Proceedings of the ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools and engineering (PASTE99), Toulouse, France, pp 21\u201331","DOI":"10.1145\/316158.316171"},{"issue":"2","key":"787_CR10","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSE.2012.14","volume":"39","author":"G Fraser","year":"2012","unstructured":"Fraser G, Arcuri A (2012) Whole test suite generation. IEEE Trans Softw Eng 39(2):276\u2013291","journal-title":"IEEE Trans Softw Eng"},{"key":"787_CR11","first-page":"301","volume-title":"Lecture Notes in Computer Science","author":"Mario Friske","year":"2007","unstructured":"Friske M, Schlingloff BH (2007) Improving test coverage for UML state machines using transition instrumentation. In: Proceedinds of the 26th international conference on computer safety, reliability, and security (SAFECOMP\u201907), pp 301\u2013314"},{"key":"787_CR12","unstructured":"GitHub Iluwatar. \n                    https:\/\/github.com\/iluwatar\/java-design-patterns"},{"key":"787_CR13","doi-asserted-by":"crossref","unstructured":"Gligoric M, Groce A, Zhang C, Sharma R, Alipour MA, Marinov D (2013) Comparing non-adequate test suites using coverage criteria. In: ISSTA13","DOI":"10.1145\/2483760.2483769"},{"issue":"3","key":"787_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231\u2013274","journal-title":"Sci Comput Program"},{"key":"787_CR15","unstructured":"Harrold MJ, Rothermel G (1996) A coherent family of analyzable graphical representations for object-oriented software. Department of Computer and Information Science, The Ohio State University, Technical Report OSU-CISRC-11\/96-TR60"},{"issue":"5","key":"787_CR16","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/347636.348872","volume":"25","author":"Jean Hartmann","year":"2000","unstructured":"Hartmann J, Imoberdorf C, Meisinger M (2000) UML-based integration testing. In: ACM SIGSOFT software engineering notes, proceedings of international symposium on software testing and analysis, vol 25","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"4","key":"787_CR17","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2","volume":"10","author":"HS Hong","year":"2000","unstructured":"Hong HS, Kim YG, Cha SD, Bae DH, Ural H (2000) A test sequence selection method for statecharts. Softw Test Verif Reliab 10(4):203\u2013227","journal-title":"Softw Test Verif Reliab"},{"issue":"2007","key":"787_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/stvr.357","volume":"17","author":"M Jaffar-ur Rehman","year":"2007","unstructured":"Jaffar-ur Rehman M, Jabeen F, Bertolino A, Polini A (2007) Testing software components for integration: a survey of issues and techniques. Softw Test Verif Reliab 17(2007):95\u2013133","journal-title":"Softw Test Verif Reliab"},{"key":"787_CR19","unstructured":"Jana S, Kang Y, Roth S, Ray B (2016) Automatically detecting error handling bugs using error specifications. In: 25th USENIX security symposium"},{"key":"787_CR20","doi-asserted-by":"crossref","unstructured":"Larsen L, Harrold M (1996) Slicing object oriented software. In: 18th international conference of software engineering, pp 495\u2013505","DOI":"10.1109\/ICSE.1996.493444"},{"key":"787_CR21","doi-asserted-by":"crossref","unstructured":"Linnenkugel U, Mullerburg M (1990) Test data selection criteria for (software) integration testing. In: First international conference on systems integration, systems integration conference, Morristown, New Jersey, pp 709\u2013717","DOI":"10.1109\/ICSI.1990.138737"},{"key":"787_CR22","volume-title":"Fundamentals of software engineering","author":"R Mall","year":"2014","unstructured":"Mall R (2014) Fundamentals of software engineering, 4th edn. PHI Learning Private Limited, New Delhi","edition":"4"},{"issue":"2011","key":"787_CR23","first-page":"465","volume":"23","author":"R Mall","year":"2011","unstructured":"Mall R, Najumudheen ESF, Samanta D (2011) Test coverage analysis based on an object-oriented program model. J Softw Maint Evol Res Pract 23(2011):465\u2013493","journal-title":"J Softw Maint Evol Res Pract"},{"key":"787_CR24","unstructured":"muJava (2016). \n                    https:\/\/cs.gmu.edu\/~offutt\/mujava\/"},{"issue":"1","key":"787_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3178315.3178330","volume":"43","author":"D Mukherjee","year":"2018","unstructured":"Mukherjee D, Shekhar D, Mall R (2018) Proposal for a structural integration test coverage metric for object-oriented programs. ACM SIGSOFT Softw Eng Notes 43(1):1\u20134","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"key":"787_CR26","doi-asserted-by":"crossref","unstructured":"Najumudheen ESF, Mall R, Samanta D (2019) Modeling of coverage analysis of programs with exception handling. In: ISEC 2019, Pune","DOI":"10.1145\/3299771.3299785"},{"key":"787_CR27","unstructured":"OMG Unified Modeling Language (OMG\u00a0UML) (2015). \n                    http:\/\/www.omg.org\/spec\/UML\/2.5\/"},{"key":"787_CR28","unstructured":"Orso A (1998) Integration testing of object-oriented software. Ph.D Thesis, Dipartimento di Elettronica e Informazione Politecnico di Milano, Milano, Italy. \n                    https:\/\/www.cc.gatech.edu\/home\/orso\/papers\/orso.thesis.pdf"},{"key":"787_CR29","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-24431-5_8","volume-title":"Formal Methods for Industrial Critical Systems","author":"Virginia Papailiopoulou","year":"2011","unstructured":"Papailiopoulou V, Rajan A, Parissis I (2011) Structural test coverage criteria for integration testing of LUSTRE\/SCADE programs. In: International workshop on formal methods for industrial critical systems, formal methods for industrial critical systems (FMICS 2011), pp 85\u2013101"},{"key":"787_CR30","unstructured":"PlantUML (2018). \n                    http:\/\/plantuml.com\/"},{"key":"787_CR31","unstructured":"Rapps S, Weyuker EJ (1982) Data flow analysis techniques for test data selection. In: Proceedings of the sixth international conference of software engineering, Tokyo, Japan, pp 272\u2013277"},{"issue":"2009","key":"787_CR32","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1016\/j.infsof.2008.05.002","volume":"51","author":"M Sarma","year":"2009","unstructured":"Sarma M, Mall R (2009) Automatic generation of test specifications for coverage of system state transitions. Inf Softw Technol 51(2009):418\u2013432","journal-title":"Inf Softw Technol"},{"key":"787_CR33","doi-asserted-by":"crossref","unstructured":"Sinha S, Harrold MJ (1999) Criteria for testing exception-handling constructs in Java programs. In: Proceedings of the IEEE international conference on software maintenance (ICSM99). Oxford, pp 265\u2013274","DOI":"10.1109\/ICSM.1999.792624"},{"issue":"9","key":"787_CR34","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1109\/32.877846","volume":"26","author":"S Sinha","year":"2000","unstructured":"Sinha S, Harrold MJ (2000) Analysis and testing of programs with exception handling constructs. IEEE Trans Softw Eng 26(9):849\u2013871","journal-title":"IEEE Trans Softw Eng"},{"key":"787_CR35","unstructured":"Sinha S, Orso A, Harrold MJ (2004) Automated support for development, maintenance, and testing in presence of implicit control flow. In: Proceedings of the 26th international conference on software engineering (ICSE04)"},{"key":"787_CR36","doi-asserted-by":"crossref","unstructured":"Walkinshaw N, Roper M, Wood M (2003) The Java system dependence graph. In: Proceedings of 3rd IEEE international workshop on source code analysis and manipulation, pp 859\u2013879","DOI":"10.1109\/SCAM.2003.1238031"},{"key":"787_CR37","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-36465-X_24","volume-title":"COTS-Based Software Systems","author":"Ye Wu","year":"2003","unstructured":"Wu Ye, Chen JMei-Hwa, Offutt Jeff (2003) UML-based integration testing for component-based software. In: Proceedings of the second international conference on COTS-based software systems (ICCBSS \u201903), pp 251\u2013260"}],"container-title":["International Journal of System Assurance Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-019-00787-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13198-019-00787-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-019-00787-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,13]],"date-time":"2020-06-13T23:18:25Z","timestamp":1592090305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13198-019-00787-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,15]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["787"],"URL":"https:\/\/doi.org\/10.1007\/s13198-019-00787-9","relation":{},"ISSN":["0975-6809","0976-4348"],"issn-type":[{"type":"print","value":"0975-6809"},{"type":"electronic","value":"0976-4348"}],"subject":[],"published":{"date-parts":[[2019,6,15]]},"assertion":[{"value":"8 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 March 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}