{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:27:34Z","timestamp":1742398054101},"reference-count":21,"publisher":"Elsevier BV","issue":"10","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1016\/s0950-5849(00)00112-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:50:44Z","timestamp":1027637444000},"page":"677-686","source":"Crossref","is-referenced-by-count":13,"title":["ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique"],"prefix":"10.1016","volume":"42","author":[{"given":"Huo Yan","family":"Chen","sequence":"first","affiliation":[]},{"given":"T.H","family":"Tse","sequence":"additional","affiliation":[]},{"given":"Yue Tang","family":"Deng","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/S0950-5849(00)00112-9_BIB1","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1145\/242223.242275","article-title":"Strategic directions in object-oriented programming","volume":"28","author":"Guerraoui","year":"1996","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"10.1016\/S0950-5849(00)00112-9_BIB2","first-page":"45","article-title":"A framework for testing object-oriented programs","volume":"5","author":"Smith","year":"1992","journal-title":"Journal of Object-Oriented Programming"},{"issue":"6","key":"10.1016\/S0950-5849(00)00112-9_BIB3","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","article-title":"Software testing based on formal specifications: a theory and a tool","volume":"6","author":"Bernot","year":"1991","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0950-5849(00)00112-9_BIB4","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0164-1212(86)90004-X","article-title":"Test sets generation from algebraic specifications using logic programming","volume":"6","author":"Bouge","year":"1986","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"10.1016\/S0950-5849(00)00112-9_BIB5","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0164-1212(93)90025-S","article-title":"Using algebraic specification in software testing: a case study on the software of an automatic subway","volume":"21","author":"Dauchy","year":"1993","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/S0950-5849(00)00112-9_BIB6","series-title":"Case studies on testing object-oriented programs","author":"Doong","year":"1991"},{"issue":"2","key":"10.1016\/S0950-5849(00)00112-9_BIB7","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/192218.192221","article-title":"The ASTOOT approach to testing object-oriented programs","volume":"3","author":"Doong","year":"1994","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0950-5849(00)00112-9_BIB8","unstructured":"P.G. Frankl, R.-K. Doong, Tools for testing object-oriented programs, Proceedings of the 8th Pacific Northwest Conference on Software Quality, 1990, pp. 309\u2013324."},{"key":"10.1016\/S0950-5849(00)00112-9_BIB9","series-title":"Dynamic data flow analysis for C++","author":"Chen","year":"1995"},{"issue":"1","key":"10.1016\/S0950-5849(00)00112-9_BIB10","first-page":"1","article-title":"Error detection in C++ through dynamic data flow analysis","volume":"18","author":"Chen","year":"1997","journal-title":"Software: Concepts and Tools"},{"issue":"4","key":"10.1016\/S0950-5849(00)00112-9_BIB11","first-page":"69","article-title":"Object-oriented unit testing","volume":"40","author":"Fiedler","year":"1989","journal-title":"Hewlett-Packard Journal"},{"issue":"2","key":"10.1016\/S0950-5849(00)00112-9_BIB12","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0164-1212(93)90076-A","article-title":"Automated flow graph-based testing of object-oriented software modules","volume":"23","author":"Parrish","year":"1993","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/S0950-5849(00)00112-9_BIB13","doi-asserted-by":"crossref","unstructured":"C.D. Turner, D.J. Robson, State-based testing and inheritance, Technical Report TR-1\/93, Computer Science Division, School of Engineering and Computer Science, University of Durham, Durham, UK, 1993.","DOI":"10.1109\/ICSM.1993.366932"},{"issue":"3","key":"10.1016\/S0950-5849(00)00112-9_BIB14","first-page":"106","article-title":"A state-based approach to the testing of class-based programs","volume":"16","author":"Turner","year":"1995","journal-title":"Software: Concepts and Tools"},{"issue":"3","key":"10.1016\/S0950-5849(00)00112-9_BIB15","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1145\/287000.287004","article-title":"In black and white: an integrated approach to class-level testing of object-oriented programs","volume":"7","author":"Chen","year":"1998","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0950-5849(00)00112-9_BIB16","series-title":"Algebraic specification techniques in object-oriented programming environments","author":"Breu","year":"1991"},{"key":"10.1016\/S0950-5849(00)00112-9_BIB17","series-title":"Recent Trends in Data Type Specification: Proceedings of the 9th International Workshop on Specification of Abstract Data Types","first-page":"1","article-title":"Towards an algebraic semantics for the object paradigm","author":"Goguen","year":"1994"},{"key":"10.1016\/S0950-5849(00)00112-9_BIB18","series-title":"Research Directions in Object-Oriented Programming","first-page":"417","article-title":"Unifying functional, object-oriented, and relational programming with logical semantics","author":"Goguen","year":"1987"},{"key":"10.1016\/S0950-5849(00)00112-9_BIB19","series-title":"Object-Based Concurrent Programming: Proceedings of ECOOP'91 Workshop","first-page":"81","article-title":"A sheaf semantics for FOOPS expressions","author":"Wolfram","year":"1992"},{"key":"10.1016\/S0950-5849(00)00112-9_BIB20","series-title":"The Craft of C: Take-Charge Programming","author":"Schildt","year":"1992"},{"issue":"3","key":"10.1016\/S0950-5849(00)00112-9_BIB21","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.1980.234486","article-title":"A domain strategy for computer program testing","volume":"SE-6","author":"White","year":"1980","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584900001129?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584900001129?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T01:22:26Z","timestamp":1555204946000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584900001129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":21,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["S0950584900001129"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(00)00112-9","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}