{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T13:01:36Z","timestamp":1761742896305},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2006,11,1]],"date-time":"2006-11-01T00:00:00Z","timestamp":1162339200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Comput Sci Technol"],"published-print":{"date-parts":[[2006,11]]},"DOI":"10.1007\/s11390-006-0965-0","type":"journal-article","created":{"date-parts":[[2006,12,22]],"date-time":"2006-12-22T01:26:24Z","timestamp":1166750784000},"page":"965-972","source":"Crossref","is-referenced-by-count":7,"title":["Code Based Analysis for Object-Oriented Systems"],"prefix":"10.1007","volume":"21","author":[{"given":"Swapan","family":"Bhattacharya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ananya","family":"Kanjilal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"965_CR1","volume-title":"Fundamentals of Software Engineering","author":"C Ghezzi","year":"1998","unstructured":"Ghezzi C, Jazayeri M, Mandrioli D. Fundamentals of Software Engineering. India: Prentice Hall, 1998."},{"key":"965_CR2","doi-asserted-by":"crossref","unstructured":"Marie-Claude Gaudel. Testing from formal specifications, a generic approach. LNCS 2043, Springer-Verlag, May 2001, pp.35\u201348.","DOI":"10.1007\/3-540-45136-6_3"},{"key":"965_CR3","unstructured":"Tse T H, Zhinong Xu. Test case generation for class-level object-oriented testing. In Quality Process Convergence: Proc. 9th Int. Software Quality Week (QW\u201996), San Francisco, California, 1996, pp.4T4.0\u20134T4.12."},{"issue":"1","key":"965_CR4","first-page":"109","volume":"28","author":"K C Tai","year":"January 2002","unstructured":"Tai K C, Lie Y. A test generation strategy for pairwise testing. IEEE TSE, January 2002, 28(1): 109\u2013111.","journal-title":"IEEE TSE"},{"issue":"6","key":"965_CR5","first-page":"471","volume":"24","author":"Richard H Carver","year":"June 1998","unstructured":"Richard H Carver, Kuo-Chung Tai. Use of sequencing constraints for specification-based testing of concurrent programs. IEEE TSE, June 1998, 24(6): 471\u2013490.","journal-title":"IEEE TSE"},{"key":"965_CR6","doi-asserted-by":"crossref","unstructured":"Murali Rangarajan, Perry Alexander, Nael Abu-Ghazaleh. Using automatable proof obligations for component based design checking. In Proc. IEEE Conf. Workshop on Engineering of Computer-Based Systems, Los Alamitos, USA, March 1999, p.304.","DOI":"10.1109\/ECBS.1999.755895"},{"key":"965_CR7","doi-asserted-by":"crossref","unstructured":"Stephane Barbey, Didier Buchs, Cecile Peraire. A theory of specification based testing for object-oriented software. In Proc. European Dependable Computing Conference (EDCC2), Taormina, Italy, October 1996.","DOI":"10.1007\/3-540-61772-8_45"},{"issue":"10","key":"965_CR8","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1016\/S0950-5849(00)00112-9","volume":"42","author":"Chen Huo Yan","year":"July 2000","unstructured":"Huo Yan Chen, T H Tse, Yue Tang Deng. ROCS: An object-oriented class-level testing system based on the relevant observable contexts technique. Information and Software Technology, July 2000, 42(10): 677\u2013686.","journal-title":"Information and Software Technology"},{"issue":"8","key":"965_CR9","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1109\/TSE.2002.1027798","volume":"28","author":"Betty H C Cheng","year":"August 2002","unstructured":"Betty H C Cheng, Enoch Y Wang. Formalizing and integrating the dynamic model for object-oriented modeling. IEEE Trans. Software and Engineering, August 2002, 28(8): 747\u2013762.","journal-title":"IEEE Trans. Software and Engineering"},{"issue":"1","key":"965_CR10","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1109\/TSE.2003.1166590","volume":"29","author":"Rajendra K Bandi","year":"January 2003","unstructured":"Rajendra K Bandi, Vijay K Vaishnavi, Daniel E Turk. Predicting maintenance performance using object-oriented design complexity metrics. IEEE Trans. Software and Engineering, January 2003, 29(1): 77\u201387.","journal-title":"IEEE Trans. Software and Engineering"},{"issue":"4","key":"965_CR11","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1109\/TSE.2003.1191795","volume":"29","author":"Ramanath Subramanyam","year":"April 2003","unstructured":"Ramanath Subramanyam, Krishnan M S. Empirical analysis of CK metrics for object-oriented design complexity: Implications for software defects. IEEE Trans. Software and Engineering, April 2003, 29(4): 297\u2013310.","journal-title":"IEEE Trans. Software and Engineering"},{"key":"965_CR12","doi-asserted-by":"crossref","unstructured":"Aynur Abdurazik, Jeff Offut. Using UML collaboration diagrams for static checking and test generation. LNCS 1939\/2000, UML 2000: The Unified Modeling Language Advancing the Standard, January 2000, p.383.","DOI":"10.1007\/3-540-40011-7_28"},{"issue":"8","key":"965_CR13","doi-asserted-by":"crossref","first-page":"586","DOI":"10.1109\/32.707695","volume":"24","author":"Phyllis G Frankl","year":"August 1998","unstructured":"Phyllis G Frankl, Richard G Hamlet, Bev Littlewood, Lorenzo Strigini. Evaluating testing methods by delivered reliability. IEEE Trans. Software and Engineering, August 1998, 24(8): 586\u2013601.","journal-title":"IEEE Trans. Software and Engineering"},{"key":"965_CR14","doi-asserted-by":"crossref","unstructured":"Anita Goel, Gupta S C, Wasan S K. Probe mechanism for object-oriented software testing. In Proc. FASE 2003, 6th Int. Conf., Warsaw, Poland, April 7\u201311, 2003, pp.310\u2013324.","DOI":"10.1007\/3-540-36578-8_22"},{"key":"965_CR15","doi-asserted-by":"crossref","unstructured":"Amie L Souter, Tiffany M Wong, Stacey A Shindo, Lori L Pollock. TATOO: Testing and analysis tool for object-oriented software. In Proc. the 7th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS, Genova, Italy, April, 2001, pp.389\u2013403.","DOI":"10.1007\/3-540-45319-9_27"},{"key":"965_CR16","doi-asserted-by":"crossref","unstructured":"Jose L Fernandez. Acceptance testing of object-oriented systems. In Proc. Ada-Europe Int. Conf. Reliable Software Technologies, LNCS 1622, 1999, pp.114\u2013123.","DOI":"10.1007\/3-540-48753-0_10"},{"issue":"14","key":"965_CR17","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"Joachim Wegener","year":"2001","unstructured":"Joachim Wegener, Andre Baresel, Harmen Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology, 2001, 43(14): 841\u2013854.","journal-title":"Information and Software Technology"},{"issue":"6","key":"965_CR18","first-page":"841","volume":"45","author":"Li Bixin","year":"Apr. 2001","unstructured":"Bixin Li. A technique to analyze information-flow in object oriented programs. Information and Software Technology, Apr. 2001, 45(6): 841\u2013854.","journal-title":"Information and Software Technology"},{"issue":"11","key":"965_CR19","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1016\/S0950-5849(00)00119-1","volume":"42","author":"A S Boujarwah","year":"August 2003","unstructured":"Boujarwah A S, Saeh K, Al-Dalla J. Dynamic data flow analysis for Java programs. Information and Software Technology, August 2003, 42(11): 765\u2013775.","journal-title":"Information and Software Technology"},{"key":"965_CR20","doi-asserted-by":"crossref","unstructured":"Jessica Chen. On using static analysis in distributed system testing. LNCS Vol 1999\/2001, Springer-Verlag, ISSN-0302-9743, Jan. 2001, p.145.","DOI":"10.1007\/3-540-45254-0_13"},{"issue":"15","key":"965_CR21","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1016\/S0950-5849(01)00199-9","volume":"43","author":"K Saleh","year":"December 2001","unstructured":"Saleh K, Abdel Aziz Boujarwah, Jehad Al-Dallal. Anomaly detection in concurrent Java programs using dynamic data flow analysis. Information and Software Technology, December 2001, 43(15): 973\u2013981.","journal-title":"Information and Software Technology"},{"key":"965_CR22","doi-asserted-by":"crossref","unstructured":"Schieferdecker I, Jens Grabowski. The graphical format of TTCN-3 in the context of MSC and UML. LNCS, Vol 2599\/2003, Springer-Verlag, January 2003, pp.233\u2013252.","DOI":"10.1007\/3-540-36573-7_15"},{"issue":"12","key":"965_CR23","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1109\/32.368137","volume":"20","author":"A Bertolino","year":"1994","unstructured":"Bertolino A, Marre M. Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Trans. Software and Engineering, 1994, 20(12): 885\u2013899.","journal-title":"IEEE Trans. Software and Engineering"},{"issue":"9","key":"965_CR24","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1109\/32.877846","volume":"26","author":"Saurabh Sinha","year":"September 2000","unstructured":"Saurabh Sinha, Mary Jean Harrold. Analysis and testing of programs with exception handling constructs. IEEE Trans. Software and Engineering, September 2000, 26(9): 849\u2013871.","journal-title":"IEEE Trans. Software and Engineering"},{"issue":"9","key":"965_CR25","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1109\/32.624304","volume":"26","author":"Matthew J Gallagher","year":"Aug. 1997","unstructured":"Matthew J Gallagher, V Lakshmi Narasimhan. ADTEST: A test data generation suite for Ada software systems. IEEE Trans. Software and Engineering, Aug. 1997, 26(9): 473\u2013484.","journal-title":"IEEE Trans. Software and Engineering"},{"issue":"6","key":"965_CR26","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1109\/TSE.2002.1010062","volume":"28","author":"Pramod V Koppol","year":"June 2002","unstructured":"Pramod V Koppol, Richard H Carver, Kuo-Chung Tai. Incremental integration testing of concurrent programs. IEEE Trans. Software and Engineering, June 2002, 28(6): 607\u2013623.","journal-title":"IEEE Trans. Software and Engineering"},{"issue":"12","key":"965_CR27","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/32.988709","volume":"27","author":"C C Michael","year":"December 2001","unstructured":"Michael C C, Mcgraw G, Schatz M A. Generating software test data by evolution. IEEE Trans. Software and Engineering, December 2001, 27(12): 1085\u20131110.","journal-title":"IEEE Trans. Software and Engineering"},{"key":"965_CR28","volume-title":"Graph Theory","author":"Deo Narsingh","year":"2003","unstructured":"Narsingh Deo. Graph Theory. India: Prentice Hall, 2003."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-006-0965-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-006-0965-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-006-0965-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:32:37Z","timestamp":1559385157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-006-0965-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11]]},"references-count":28,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2006,11]]}},"alternative-id":["965"],"URL":"https:\/\/doi.org\/10.1007\/s11390-006-0965-0","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,11]]}}}