{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:32:26Z","timestamp":1773192746634,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540279921","type":"print"},{"value":"9783540317258","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11531142_22","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T17:28:49Z","timestamp":1292866129000},"page":"504-527","source":"Crossref","is-referenced-by-count":122,"title":["Eclat: Automatic Generation and Classification of Test Inputs"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Pacheco","sequence":"first","affiliation":[]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Ammons, G., Bod\u00edk, R., Larus, J.R.: Mining specifications. In: Proceedings of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, January\u00a016\u201318, 2002, pp. 4\u201316 (2002)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Balcer, M.J., Hasling, W.M., Ostrand, T.J.: Automatic generation of test scripts from formal test specifications. In: Proceedings of the ACM SIGSOFT\u00a01989 Third Symposium on Testing, Analysis, and Verification (TAV3), December 1989, pp. 210\u2013218 (1989)","DOI":"10.1145\/75309.75332"},{"key":"22_CR3","unstructured":"Bowring, J.F., Rehg, J.M., Harrold, M.J.: Active learning for automatic classification of software behavior. In: ISSTA 2004, Proceedings of the 2004 International Symposium on Software Testing and Analysis, Boston, MA, USA, July\u00a012\u201314, 2004, pp. 195\u2013205 (2004)"},{"key":"22_CR4","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: ISSTA 2002, Proceedings of the 2002 International Symposium on Software Testing and Analysis, Rome, Italy, July\u00a022\u201324, 2002, pp. 123\u2013133 (2002)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Brun, Y., Ernst, M.D.: Finding latent code errors via machine learning over program executions. In: ICSE 2004, Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, May\u00a026\u201328, 2004, pp. 480\u2013490 (2004)","DOI":"10.1109\/ICSE.2004.1317470"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Burdy, L., Cheon, Y., Cok, D., Ernst, M.D., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. In: Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003), Trondheim, Norway, June\u00a05\u20137 (2003)","DOI":"10.1007\/s10009-004-0167-4"},{"issue":"6","key":"22_CR7","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1145\/318774.318948","volume":"24","author":"Juei Chang","year":"1999","unstructured":"Chang, J., Richardson, D.J.: Structural specification-based testing: Automated support and experimental evaluation. In: Proceedings of the 7th European Software Engineering Conference and the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September\u00a06\u20139, pp. 285\u2013302 (1999)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: A lightweight tool for random testing of Haskell programs. In: ICFP 2000, Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming, Montreal, Canada, September\u00a018\u201320, 2000, pp. 268\u2013279 (2000)","DOI":"10.1145\/351240.351266"},{"issue":"11","key":"22_CR9","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1002\/spe.602","volume":"34","author":"C. Csallner","year":"2004","unstructured":"Csallner, C., Smaragdakis, Y.: JCrasher: an automatic robustness tester for Java. Software: Practice and Experience\u00a034(11), 1025\u20131117 (2004)","journal-title":"Software: Practice and Experience"},{"issue":"4","key":"22_CR10","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"10","author":"J.W. Duran","year":"1984","unstructured":"Duran, J.W., Ntafos, S.C.: An evaluation of random testing. IEEE Transactions on Software Engineering\u00a010(4), 438\u2013444 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"22_CR11","first-page":"1","volume":"27","author":"M.D. Ernst","year":"1999","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering\u00a027(2),1\u201325 (February 2001); Proceedings of the 21st International Conference on Software Engineering, Los Angeles, CA, USA, May\u00a019\u201321, pp. 213\u2013224 (1999)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR12","unstructured":"Foundations of Software Engineering group, Microsoft Research. Documentation for AsmL 2 (2003), http:\/\/research.microsoft.com\/fse\/asml"},{"issue":"12","key":"22_CR13","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 Transactions on Software Engineering\u00a016(12), 1402\u20131411 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Hangal, S., Lam, M.S.: Tracking down software bugs using automatic anomaly detection. In: ICSE 2002, Proceedings of the 24th International Conference on Software Engineering, Orlando, Florida, May\u00a022\u201324, pp. 291\u2013301 (2002)","DOI":"10.1145\/581376.581377"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Harder, M., Mellen, J., Ernst, M.D.: Improving test suites via operational abstraction. In: ICSE 2003, Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, May\u00a06\u20138, pp. 60\u201371 (2003)","DOI":"10.1109\/ICSE.2003.1201188"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_19","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"J. Henkel","year":"2003","unstructured":"Henkel, J., Diwan, A.: Discovering algebraic specifications from Java classes. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/229000.226319","volume-title":"Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis","author":"B. Korel","year":"1996","unstructured":"Korel, B.: Automated test data generation for programs with procedures. In: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, pp. 209\u2013215. ACM Press, New York (1996)"},{"issue":"6","key":"22_CR18","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T.J. Ostrand","year":"1988","unstructured":"Ostrand, T.J., Balcer, M.J.: 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":"22_CR19","unstructured":"Parasoft Corporation. Jtest version 4.5, http:\/\/www.parasoft.com\/"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Podgurski, A., Leon, D., Francis, P., Masri, W., Minch, M., Sun, J., Wang, B.: Automated support for classifying software failure reports. In: ICSE 2003, Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, May\u00a06\u20138, pp. 465\u2013475 (2003)","DOI":"10.1109\/ICSE.2003.1201224"},{"key":"22_CR21","volume-title":"Automatic Information Organization and Retrieval","author":"G. Salton","year":"1968","unstructured":"Salton, G.: Automatic Information Organization and Retrieval. McGraw-Hill, New York (1968)"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Stotts, D., Lindsey, M., Antley, A.: An informal formal method for systematic JUnit test case generation. In: Proceedings of 2nd XP Universe and 1st Agile Universe Conference (XP\/Agile Universe), Chicago, IL, USA, August\u00a04\u20137, pp. 131\u2013143 (2002)","DOI":"10.1007\/3-540-45672-4_13"},{"key":"22_CR23","unstructured":"Tracey, N., Clark, J., Mander, K., McDermid, J.: An automated framework for structural test-data generation. In: Proceedings of the 13th Annual International Conference on Automated Software Engineering (ASE 1998), Honolulu, Hawaii, October\u00a014\u201316, 1998, pp. 285\u2013288 (1998)"},{"key":"22_CR24","volume-title":"Information Retrieval","author":"C.J. Rijsbergen van","year":"1979","unstructured":"van Rijsbergen, C.J.: Information Retrieval, 2nd edn. Butterworths, London (1979)","edition":"2"},{"key":"22_CR25","volume-title":"Data Structures and Algorithm Analysis in Java","author":"M.A. Weiss","year":"1999","unstructured":"Weiss, M.A.: Data Structures and Algorithm Analysis in Java. Addison-Wesley Longman, Amsterdam (1999)"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Whaley, J., Martin, M., Lam, M.: Automatic extraction of object-oriented component interfaces. In: ISSTA 2002, Proceedings of the 2002 International Symposium on Software Testing and Analysis, Rome, Italy, July\u00a022\u201324, pp. 218\u2013228 (2002)","DOI":"10.1145\/566171.566212"},{"key":"22_CR27","unstructured":"Xie, T.: Personal communication (August 2003)"},{"key":"22_CR28","unstructured":"Xie, T., Marinov, D., Notkin, D.: Rostra: A framework for detecting redundant object-oriented unit tests. In: ASE 2004: Proceedings of the 20th Annual International Conference on Automated Software Engineering, Linz, Australia, November\u00a09\u201311, pp. 196\u2013205 (2004)"},{"key":"22_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-540-31980-1_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Xie","year":"2005","unstructured":"Xie, T., Marinov, D., Schulte, W., Notkin, D.: Symstra: A framework for generating object-oriented unit tests using symbolic execution. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 365\u2013381. Springer, Heidelberg (2005)"},{"key":"22_CR30","unstructured":"Xie, T., Notkin, D.: Tool-assisted unit test selection based on operational violations. In: ASE 2003: Proceedings of the 18th Annual International Conference on Automated Software Engineering, Montreal, Canada, October\u00a08\u201310, pp. 40\u201348 (2003)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2005 - Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11531142_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T23:51:43Z","timestamp":1637020303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11531142_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540279921","9783540317258"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11531142_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}