{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:11:59Z","timestamp":1725570719729},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_20","type":"book-chapter","created":{"date-parts":[[2010,11,26]],"date-time":"2010-11-26T12:31:03Z","timestamp":1290774663000},"page":"195-207","source":"Crossref","is-referenced-by-count":1,"title":["An Automated Approach to Testing Polymorphic Features Using Object-Z"],"prefix":"10.1007","author":[{"given":"Mahreen","family":"Ahmad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aamer","family":"Nadeem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tai-hoon","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Nadeem, A., Lyu, M.R.: A Framework for Inheritance Testing from VDM++ Specifications. In: 12th Pacific Rim International Symposium on Dependable Computing, PRDC, pp. 81\u201388 (December 2006)","DOI":"10.1109\/PRDC.2006.7"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Nadeem, A., Malik, Z.I., Lyu, M.R.: An Automated Approach to Inheritance and Polymorphic Testing using a VDM++ Specification. In: 10th IEEE International Multitopic Conference (INMIC 2006), Islamabad, Pakistan (December 2006)","DOI":"10.1109\/INMIC.2006.358168"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-540-30482-1_28","volume-title":"Formal Methods and Software Engineering","author":"L. Liu","year":"2004","unstructured":"Liu, L., Miao, H.: A Specification-Based Approach to Testing Polymorphic Attributes. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 306\u2013319. Springer, Heidelberg (2004)"},{"key":"20_CR4","unstructured":"Alexander, R.T., Offutt, J.: Coupling-based Testing of O-O Programs. Journal of Universal Computer Science (JUCS)\u00a010(4) (April 2004)"},{"key":"20_CR5","volume-title":"Thirteenth International Symposium on Software Reliability Engineering (ISSRE 2002)","author":"R.T. Alexander","year":"2002","unstructured":"Alexander, R.T., Offutt, J., Bieman, J.M.: Fault detection capabilities of coupling-based OO testing. In: Thirteenth International Symposium on Software Reliability Engineering (ISSRE 2002). IEEE Computer Society, Annapolis (2002)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Offutt, J., Alexander, R., Ye, W., Quansheng, X., Chuck, H.: A Fault Model for Subtype Inheritance and Polymorphism. In: The Twelfth IEEE International Symposium on Software Reliability Engineering (ISSRE 2001), Hong Kong, pp. 84\u201395 (November 2001)","DOI":"10.1109\/ISSRE.2001.989461"},{"key":"20_CR7","unstructured":"Alexander, R.T.: Testing the Polymorphic Relationships of Object-oriented Programs: Phd. Dissertation, George Mason University (2001)"},{"key":"20_CR8","unstructured":"Binder, R.V.: Testing Object Oriented Systems, Models, Patterns and Tools. The Addison-Wesley Object Technology Series (2000) ISBN 0-201-80938-9"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Binder, R.V.: Testing object-oriented software: a survey. Journal of Software Testing, Verification and Reliability, 125\u2013252 (January 1999)","DOI":"10.1002\/(SICI)1099-1689(199609\/12)6:3\/4<125::AID-STVR121>3.0.CO;2-X"},{"key":"20_CR10","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"1999","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, USA (1999)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Jin, Z., Offutt, A.J.: Coupling-based Criteria for Integration Testing. The Journal of Software Testing, Verification, and Reliability, 133\u2013154 (1998)","DOI":"10.1002\/(SICI)1099-1689(1998090)8:3<133::AID-STVR162>3.3.CO;2-D"},{"key":"20_CR12","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs (1997)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Murray, L., Carrington, D., MacColl, I., Strooper, P.: Extending test templates with inheritance. In: Software Engineering Conference, Australia, pp. 80\u201387 (October 1997)","DOI":"10.1109\/ASWEC.1997.623757"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","first-page":"69","volume-title":"Ninth Annual Conference on Computer Assurance (COMPASS 1994)","author":"P. Ammann","year":"1995","unstructured":"Ammann, P., Offutt, J.: Using Formal Methods To Derive Test Frames in Category-Partition Testing. In: Reggio, G., Astesiano, E., Tarlecki, A. (eds.) COMPASS 1994. LNCS, vol.\u00a0906, pp. 69\u201380. Springer, Heidelberg (1995)"},{"key":"20_CR15","unstructured":"Smith, G.P.: An Object-Oriented Approach to Formal Specifications: Phd. Dissertation, University of Queensland (1992)"},{"key":"20_CR16","first-page":"68","volume-title":"Lessons from the design of the Eiffel libraries","author":"B. Meyer","year":"1990","unstructured":"Meyer, B.: Lessons from the design of the Eiffel libraries, pp. 68\u201388. Interactive Software Engineering Inc., Goleta (1990)"}],"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_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T15:34:47Z","timestamp":1559835287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17578-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642175770","9783642175787"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17578-7_20","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}