{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:09:55Z","timestamp":1764331795191,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540238416"},{"type":"electronic","value":"9783540304821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30482-1_28","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T16:27:38Z","timestamp":1267460858000},"page":"306-319","source":"Crossref","is-referenced-by-count":8,"title":["A Specification-Based Approach to Testing Polymorphic Attributes"],"prefix":"10.1007","author":[{"given":"Ling","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Mei, Chen, H., Kao, H.M.: Testing Object-Oriented Programs - An Integrated Approach. In: Proceedings of International Symposium on Software Reliability Engineering, Boca Raton, Florida, November 1999, pp. 73\u201382 (1999)"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"R.T. Alexander, A. Jefferson Offutt: Criteria for Testing Polymorphic Relationship. In: Proceedings of International Symposium on Software Reliability Engineering, California, USA (October 2000), 8-11","DOI":"10.1109\/ISSRE.2000.885857"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Martena, V., Orso, A., Pezze, M.: Interclass Testing of Object Oriented Software. In: Proceedings of the Conference on Engineering of Complex Computer Systems, MD, USA, December 2002, pp. 135\u2013144 (2002)","DOI":"10.1109\/ICECCS.2002.1181506"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., McGregor, J.D., Fitzpatrick, K.: Incremmental Testing of Object-Oriented Class Inheritance Structures. In: Proceedings of the International Conference on Software Engineering, Melborne, Australia, May 1992, pp. 68\u201380 (1992)","DOI":"10.1145\/143062.143093"},{"issue":"11","key":"28_CR5","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P. Stocks","year":"1996","unstructured":"Stocks, P., Carrington, D.: A Framework for Specification-Based Testing. IEEE Transaction on Software Engineering\u00a022(11), 777\u2013793 (1996)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Murray, L., Carrington, D.A., MacColl, I., Strooper, P.A.: Extending Testing Templates with Inheritance. In: Autralian Software Engineering Conference, Australia, October 1997, pp. 80\u201387 (1997)","DOI":"10.1109\/ASWEC.1997.623757"},{"key":"28_CR7","unstructured":"Liu, L., Miao, H., Zhan, X.: A Framework for Specification-Based Class Testing. In: Proceedings of the Conference on Engineering of Complex Computer Systems, MD, USA, December 2002, pp. 153\u2013162 (2002)"},{"key":"28_CR8","unstructured":"Liu, L.: Object-Oriented Formal Specification Based Test Generation. Ph.D. thesis, Shanghai University (2004)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Harrold, M., Rothermel, G.: Performing Data Flow Testing on Classes. In: Symposium on Foundations of Software Engineering, New Orleans, April 1994, pp. 200\u2013207 (1994)","DOI":"10.1145\/193173.195402"},{"key":"28_CR10","unstructured":"Gallagher, L., Offutt, J.: Integration Testing of Object-Oriented Components Using Finite State Machines (submitted for publication, 2002)"},{"issue":"6","key":"28_CR11","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T. Ostrand","year":"1988","unstructured":"Ostrand, T., Balcer, M.: The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM\u00a031(6), 676\u2013686 (1988)","journal-title":"Communications of the ACM"},{"key":"28_CR12","unstructured":"Smith, G.: An Object-Oriented Approach to Formal Specifications. Ph.D. Thesis, University of Queensland (1992)"},{"key":"28_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Offutt, J., Alexander, R., Wu, Y., Xiao, W., Hutchinson, C.: A Fault Model for Subtype Inheritance and Polymorphism. In: Symposium on Software Reliability Engineering, Hong Kong, PRC, November 2001, pp. 84\u201393 (2001)","DOI":"10.1109\/ISSRE.2001.989461"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30482-1_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T22:39:42Z","timestamp":1739918382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30482-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540238416","9783540304821"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30482-1_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}