{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:29:41Z","timestamp":1740547781791,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208945"},{"type":"electronic","value":"9783540246176"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24617-6_1","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:26:17Z","timestamp":1283685977000},"page":"1-14","source":"Crossref","is-referenced-by-count":3,"title":["Black-Box Testing of Grey-Box Behavior"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Tyler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neelam","family":"Soundarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_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":"1_CR2","unstructured":"Barnett, M., Grieskamp, W., Kerer, C., Schulte, W., Szyperski, C., Tilmann, N., Watson, A.: Serious specifications for composing components. In: 6th ICSE Workshop on Component-based Software Engineering, pp. 1\u20136 (2003)"},{"key":"1_CR3","volume-title":"Testing Object-Oriented Systems","author":"R. Binder","year":"1999","unstructured":"Binder, R.: Testing Object-Oriented Systems. Addison-Wesley, Reading (1999)"},{"key":"1_CR4","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1999)"},{"key":"1_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), available at http:\/\/www.tucs.abo.fi\/"},{"key":"1_CR6","unstructured":"Chen, M.-H., Kao, H.M.: Testing object-oriented programs \u2014 an integrated approach. In: Int. Symp. on Softw. Reliability Eng., pp. 73\u201383 (1999)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-47993-7_10","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"Y. Cheon","year":"2002","unstructured":"Cheon, Y., Leavens, G.: A simple and practical approach to unit testing: The JML and JUnit way. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 231\u2013255. Springer, Heidelberg (2002)"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"10","author":"J. Duran","year":"1984","unstructured":"Duran, J., Ntafos, S.: An evaluation of random testing. IEEE Trans. on Software Eng.\u00a010, 438\u2013444 (1984)","journal-title":"IEEE Trans. on Software Eng."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Fayad, M.E., Schmidt, D.C.: Special issue on object oriented application frameworks. Comm. of the ACM\u00a040 (October 1997)","DOI":"10.1145\/262793.262798"},{"key":"1_CR10","first-page":"141","volume-title":"Proc. of 1997 Int. Conf. on Software Engineering","author":"G. Froehlich","year":"1997","unstructured":"Froehlich, G., Hoover, H., Liu, L., Sorenson, P.: Hooking into object-oriented application frameworks. In: Proc. of 1997 Int. Conf. on Software Engineering, pp. 141\u2013151. ACM, New York (1997)"},{"key":"1_CR11","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)"},{"issue":"12","key":"1_CR12","doi-asserted-by":"publisher","first-page":"1402","DOI":"10.1109\/32.62448","volume":"16","author":"D. Hamlet","year":"1990","unstructured":"Hamlet, D., Taylor, R.: Partition testing does not inspire confidence. IEEE Trans. on Software Eng.\u00a016(12), 1402\u20131411 (1990)","journal-title":"IEEE Trans. on Software Eng."},{"key":"1_CR13","first-page":"26","volume":"1","author":"R. Johnson","year":"1988","unstructured":"Johnson, R., Foote, B.: Designing reusable classes. Journal of OOP\u00a01, 26\u201349 (1988)","journal-title":"Journal of OOP"},{"key":"1_CR14","volume-title":"Systematic Software Development Using VDM","author":"C. Jones","year":"1990","unstructured":"Jones, C.: Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"1_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"},{"key":"1_CR16","volume-title":"Proc. of 16th ASE","author":"D. Marinov","year":"2001","unstructured":"Marinov, D., Khurshid, S.: TestEra: A novel framework for automated testing of Java programs. In: Proc. of 16th ASE. IEEE, Los Alamitos (2001)"},{"key":"1_CR17","unstructured":"McDaniel, R., McGregor, J.D.: Testing the polymorphic interactions between classes. Technical Report 94-103, Dept. of Computer Sc., Clemson University (1994)"},{"key":"1_CR18","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)"},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S., Gries, D.: An axiomatic proof technique for parallel programs. Acta Informatica\u00a06(1), 319\u2013340 (1976)","journal-title":"Acta Informatica"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/BFb0052181","volume-title":"Object-Oriented Programming","author":"W. Pree","year":"1994","unstructured":"Pree, W.: Meta patterns: a means for capturing the essentials of reusable OO design. In: Tokoro, M., Pareschi, R. (eds.) ECOOP 1994. LNCS, vol.\u00a0821, pp. 150\u2013162. Springer, Heidelberg (1994)"},{"key":"1_CR21","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":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-44995-9_7","volume-title":"Software Reuse: Advances in Software Reusability","author":"N. Soundarajan","year":"2000","unstructured":"Soundarajan, N., Fridella, S.: Framework-based applications: From incremental development to incremental reasoning. In: Frakes, W.B. (ed.) ICSR 2000. LNCS, vol.\u00a01844, pp. 100\u2013116. Springer, Heidelberg (2000)"},{"issue":"5","key":"1_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","Formal Approaches to Software Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24617-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T15:25:33Z","timestamp":1740497133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24617-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208945","9783540246176"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24617-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}