{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:32:27Z","timestamp":1773192747798,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540695066","type":"print"},{"value":"9783540695073","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-69507-3_9","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T17:35:58Z","timestamp":1184607358000},"page":"114-129","source":"Crossref","is-referenced-by-count":37,"title":["Automatic Testing of Object-Oriented Software"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Meyer","sequence":"first","affiliation":[]},{"given":"Ilinca","family":"Ciupa","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Leitner","sequence":"additional","affiliation":[]},{"given":"Lisa Ling","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"AutoTest page at se.ethz.ch\/research\/autotest\/"},{"key":"9_CR2","unstructured":"Bezault, E., et al.: Gobo Library and Tools, at http:\/\/www.gobosoft.com"},{"key":"9_CR3","volume-title":"Testing Object-Oriented Systems: Models, Patterns and Tools","author":"R.V. Binder","year":"1999","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns and Tools. Addison-Wesley, London (1999)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated Testing Based on Java Predicates. In: 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), Rome, Italy (2002)","DOI":"10.1145\/566172.566191"},{"key":"9_CR5","unstructured":"Chalin, P.: Are Practitioners Writing Contracts? In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Technical Report CS-TR-915, University of Newcastle upon Tyne (2005)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","first-page":"320","volume-title":"Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making","author":"T.Y. Chen","year":"2004","unstructured":"Chen, T.Y., Leung, H., Mak, I.K.: Adaptive Random Testing. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol.\u00a03321, pp. 320\u2013329. Springer, Heidelberg (2004)"},{"key":"9_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.T.: 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":"9_CR8","unstructured":"Cheon, Y. and Leavens, G.T.: The JML and JUnit Way of Unit Testing and Its Implementation. Technical Report 04-02, Computer Science Department, Iowa State University, at archives.cs.iastate.edu\/documents\/disk0\/00\/00\/03\/27\/00000327-00\/TR.pdf"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Ciupa, I., Leitner, A., Oriol, M., Meyer, B.: Object Distance and Its Application to Adaptive Random Testing of Object-Oriented Programs. In: Proc. of First International Workshop on Random Testing (RT 2006), Portland, Maine, USA (July 2006)","DOI":"10.1145\/1145735.1145744"},{"key":"9_CR10","unstructured":"Ciupa, I., Leitner, A.: Automatic testing based on Design by Contract. In: Proceedings of Net.ObjectDays 2005, 6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts and Applications for a Networked World, pp. 545\u2013557 (2005)"},{"key":"9_CR11","unstructured":"Detlefs, D., Nelson, G., Saxe, J.B.: Simplify: A Theorem Prover for Program Checking. Technical Report HPL-2003-148, HP Labs (2003), available at http:\/\/research.compaq.com\/SRC\/esc\/Simplify.html"},{"key":"9_CR12","unstructured":"EiffelStudio open-source development site at eiffelsoftware.origo.ethz.ch"},{"key":"9_CR13","unstructured":"JUnit pages at www.junit.org\/index.htm"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Leitner, A., Howard, M., Meyer, B., Ciupa, I.: Reconciling Manual and Automated Testing: the TestApp Experience. To appear in HICSS 2007, Hawaii International Conference on System Sciences, Hawaii (January 2007)","DOI":"10.1109\/HICSS.2007.462"},{"key":"9_CR15","unstructured":"Liu, L., Leitner, A., Offutt, J.: Using Contracts to Automate Forward Class Testing. Submitted for publication"},{"key":"9_CR16","volume-title":"Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation","author":"L. Liu","year":"2007","unstructured":"Liu, L., Meyer, B., Schoeller, B.: Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. Springer, Heidelberg (2007)"},{"issue":"10","key":"9_CR17","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying Design by Contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"9_CR18","volume-title":"The Language","author":"B. Meyer","year":"1991","unstructured":"Meyer, B.: The Language (Revised Printing). Prentice Hall, Englewood Cliffs (1991)"},{"key":"9_CR19","volume-title":"Reusable Software: The Base Object-Oriented Libraries","author":"B. Meyer","year":"1994","unstructured":"Meyer, B.: Reusable Software: The Base Object-Oriented Libraries. Prentice Hall, Englewood Cliffs (1994)"},{"key":"9_CR20","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/b137286","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"B. Meyer","year":"2005","unstructured":"Meyer, B.: Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 1\u201332. Springer, Heidelberg (2005)"},{"key":"9_CR22","unstructured":"NIST (National Institute of Standards and Technology): The Economic Impacts of Inadequate Infrastructure for Software Testing. Report 7007.011, available at www.nist.gov\/director\/prog-ofc\/report02-3.pdf"},{"key":"9_CR23","unstructured":"SICStus Prolog User\u2019s Manual, http:\/\/www.sics.se\/sicstus\/docs\/latest\/pdf\/sicstus.pdf"},{"issue":"3","key":"9_CR24","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.667877","volume":"24","author":"D.K. Peters","year":"1998","unstructured":"Peters, D.K., Parnas, D.L.: Using Test Oracles Generated from Program Documentation. IEEE Transactions on Software Engineering\u00a024(3), 161\u2013173 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR25","volume-title":"Why Programs Fail: A Guide to Systematic Debugging","author":"A. Zeller","year":"2005","unstructured":"Zeller, A.: Why Programs Fail: A Guide to Systematic Debugging. Morgan Kaufmann, San Francisco (2005)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2007: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69507-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T04:01:16Z","timestamp":1556683276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69507-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540695066","9783540695073"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69507-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}