{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:30Z","timestamp":1725562590753},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219989"},{"type":"electronic","value":"9783540247746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24774-6_14","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:26:22Z","timestamp":1281299182000},"page":"138-145","source":"Crossref","is-referenced-by-count":2,"title":["Testing Framework Components"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Tyler","sequence":"first","affiliation":[]},{"given":"Neelam","family":"Soundarajan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Alexander, R., Offutt, J.: Criteria for testing polymorphic relationships. In: Int. Symp. on Softw. Reliability Eng., pp. 15\u201323 (2000)","DOI":"10.1109\/ISSRE.2000.885857"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Ammons, G., Bodik, R., Larus, J.: Mining specifications. In: Symp. on Principles of Programming Languages, pp. 4\u201316 (2002)","DOI":"10.1145\/503272.503275"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/32.825766","volume":"26","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Hamlet, D.: Automatically checking an implementation against its formal specification. IEEE Trans. on Software Eng.\u00a026, 55\u201369 (2000)","journal-title":"IEEE Trans. on Software Eng."},{"key":"14_CR4","volume-title":"Testing object-oriented systems","author":"R. Binder","year":"1999","unstructured":"Binder, R.: Testing object-oriented systems. Addison-Wesley, Reading (1999)"},{"key":"14_CR5","unstructured":"Buchi, M., Weck, W.: The greybox approach: when blackbox specifications hide too much. Technical Report TUCS TR No. 297, Turku Centre for Computer Science (1999)"},{"key":"14_CR6","unstructured":"Apple Computer: MacAppII Programmer\u2019s Guide. Apple Computer (1989)"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/192218.192221","volume":"3","author":"R. Doong","year":"1994","unstructured":"Doong, R., Frankl, P.: The ASTOOT approach to testing object-oriented programs. ACM Trans. on Software Eng. and Methodology\u00a03, 101\u2013130 (1994)","journal-title":"ACM Trans. on Software Eng. and Methodology"},{"key":"14_CR8","volume-title":"Design Patterns: Elements of Reusable OO Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable OO Software. Addison-Wesley, Reading (1995)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Harrold, M., McGregor, J., Fitzpatrick, K.: Incremental testing of OO class structures. In: 14th ICSE, pp. 68\u201380 (1992)","DOI":"10.1145\/143062.143093"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Helm, R., Holland, I., Gangopadhyay, D.: Contracts: Specifying behavioral compositions in object-oriented systems. In: OOPSLA-ECOOP, pp. 169\u2013180 (1990)","DOI":"10.1145\/97946.97967"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1002\/(SICI)1096-908X(199707\/08)9:4<217::AID-SMR152>3.0.CO;2-2","volume":"9","author":"P. Hsia","year":"1997","unstructured":"Hsia, P., Li, X., Kung, D.C., Hsu, C.T., Li, L., Toyoshima, Y., Chen, C.: A technique for selective revalidation of OO software. Softw. Maint.: Res. & Practice\u00a09, 217\u2013233 (1997)","journal-title":"Softw. Maint. : Res. & Practice"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Johnson, R.: Components, frameworks, patterns. In: ACM SIGSOFT Symposium on Software Reusability, pp. 10\u201317 (1997)","DOI":"10.1145\/258366.258378"},{"key":"14_CR13","unstructured":"Kirani, S., Tsai, W.: Method sequence specification and verification of classes. Journal of Object-Oriented Programming, pp. 28\u201338 (October 1994)"},{"key":"14_CR14","unstructured":"Leavens, G., Poll, E., Clifton, C., Cheon, Y., Ruby, C.: Jml reference manual. Technical report, Iowa State Univesity (August 2002)"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.: A behavioral notion of subtyping. ACM Trans. on Prog. Lang. and Systems\u00a016, 1811\u20131841 (1994)","journal-title":"ACM Trans. on Prog. Lang. and Systems"},{"issue":"4","key":"14_CR16","first-page":"21","volume":"8","author":"T. McCabe","year":"1994","unstructured":"McCabe, T., Dreyer, L., Dunn, A., Watson, A.: Testing an object-oriented application. J. of the Quality Assurance Institute\u00a08(4), 21\u201327 (1994)","journal-title":"J. of the Quality Assurance Institute"},{"key":"14_CR17","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Rountev, A., Milanova, A., Ryder, B.: Fragment class analysis for testing of polymorphism in java software. In: Int. Conf. on Softw. Eng., pp. 210\u2013220 (2003)","DOI":"10.1109\/ICSE.2003.1201201"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Schmidt, D.C.: Special issue on object oriented application frameworks. Comm. of the ACM\u00a040 (October 1997)","DOI":"10.1145\/262793.262798"},{"key":"14_CR20","first-page":"297","volume":"25","author":"N. Soundarajan","year":"2001","unstructured":"Soundarajan, N., Fridella, S.: Understanding oo frameworks and applications. Informatica\u00a025, 297\u2013308 (2001)","journal-title":"Informatica"},{"key":"14_CR21","volume-title":"Component software:Beyond OOP","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component software:Beyond OOP. Addison, London (1998)"},{"key":"14_CR22","volume-title":"The Object Constraint Langauge","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Langauge. Addison-Wesley, Reading (1999)"},{"issue":"5","key":"14_CR23","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/52.714817","volume":"15","author":"E. Weyuker","year":"1998","unstructured":"Weyuker, E.: Testing component-based software:A cautionary tale. IEEE Software\u00a015(5), 54\u201359 (1998)","journal-title":"IEEE Software"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24774-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:56:17Z","timestamp":1605761777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24774-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219989","9783540247746"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24774-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}