{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T17:31:31Z","timestamp":1762623091906},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735885"},{"type":"electronic","value":"9783540735892"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73589-2_13","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T21:48:05Z","timestamp":1186955285000},"page":"248-272","source":"Crossref","is-referenced-by-count":6,"title":["Efficiently Generating Structurally Complex Inputs with Thousands of Objects"],"prefix":"10.1007","author":[{"given":"Bassem","family":"Elkarablieh","sequence":"first","affiliation":[]},{"given":"Yehia","family":"Zayour","sequence":"additional","affiliation":[]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"National Institute of Standards and Technology. The economic impacts of inadequate infrastructure for software testing. Planning report 02-3 (May 2002)"},{"key":"13_CR2","unstructured":"Beizer, B.: Software Testing Techniques. International Thomson Computer Press (1990)"},{"key":"13_CR3","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. The MIT Press, Cambridge, MA (1990)"},{"key":"13_CR4","unstructured":"United States Nuclear Regulatory Commission. Fault Tree Handbook, NUREG-0492 (1981)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Adjie-Winoto, W., Schwartz, E., Balakrishnan, H., Lilley, J.: The design and implementation of an intentional naming system. In: Proc. 17th ACM Symposium on Operating Systems Principles (SOSP), Kiawah Island (December 1999)","DOI":"10.1145\/319151.319164"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Marinov, D., Khurshid, S.: TestEra: A novel framework for automated testing of Java programs. In: Proc. 16th Conference on Automated Software Engineering (ASE), San Diego, CA (November 2001)","DOI":"10.1109\/ASE.2001.989787"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: Proc. International Symposium on Software Testing and Analysis (ISSTA) (July 2002)","DOI":"10.1145\/566172.566191"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Khurshid","year":"2003","unstructured":"Khurshid, S., Pasareanu, C., Visser, W.: Generalized symbolic execution for model checking and testing. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS, vol.\u00a02619, Springer, Heidelberg (2003)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: Proc. 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) (2005)","DOI":"10.1145\/1081706.1081750"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Visser, W., Pasareanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In: Proc. 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (2004)","DOI":"10.1145\/1007512.1007526"},{"key":"13_CR11","unstructured":"Xie, T., Marinov, D., Notkin, D.: Rostra: A framework for detecting redundant object-oriented unit tests. In: Proc. 19th IEEE International Conference on Automated Software Engineering (September 2004)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2005)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Khurshid, S., Garc\u00eda, I., Suen, Y.L.: Repairing structurally complex data. In: Proc. 12th SPIN Workshop on Software Model Checking (2005)","DOI":"10.1007\/11537328_12"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of the ACM\u00a019(7) (1976)","DOI":"10.1145\/360248.360252"},{"key":"13_CR15","unstructured":"Jackson, D.: Micromodels of software: Modelling and analysis with Alloy (2001), http:\/\/sdg.lcs.mit.edu\/alloy\/book.pdf"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient SAT solver. In: Proceedings of the 39th Design Automation Conference (DAC) (June 2001)","DOI":"10.1145\/378239.379017"},{"key":"13_CR17","volume-title":"Program Development in Java: Abstraction, Specification, and Object-Oriented Design","author":"B. Liskov","year":"2000","unstructured":"Liskov, B., Guttag, J.: Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, Reading (2000)"},{"key":"13_CR18","unstructured":"Marinov, D.: Automatic Testing of Software with Structurally Complex Inputs. PhD thesis, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology (2004)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Khurshid, S., Suen, Y.L.: Generalizing symbolic execution to library classes. In: 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Lisbon, Portugal (September 2005)","DOI":"10.1145\/1108792.1108817"},{"key":"13_CR20","volume-title":"TACAS","author":"M.Z. Malik","year":"2007","unstructured":"Malik, M.Z., Pervaiz, A., Khurshid, S.: Generating representation invariants of structurally complex data. In: TACAS 2005. Proc. 11th Conference on Tools and Algorithms for Construction and Analysis of Systems, Springer, Heidelberg (2007)"},{"key":"13_CR21","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA (2006)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Khurshid, S.: Exploring the design of an intentional naming scheme with an automatic constraint analyzer. Master\u2019s thesis, Laboratory for Computer Science, Massachusetts Institute of Technology (2000)","DOI":"10.1109\/ASE.2000.873646"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"C. Barrett","year":"2004","unstructured":"Barrett, C., Berezin, S.: CVC Lite: A new implementation of the cooperating validity checker. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, Springer, Heidelberg (2004)"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Goodenough, J., Gerhart, S.: Toward a theory of test data selection. IEEE Transactions on Software Engineering (June 1975)","DOI":"10.1145\/800027.808473"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Horcher, H.-M.: Improving software tests using Z specifications. In: Proc. 9th International Conference of Z Users, The Z Formal Specification Notation (1995)","DOI":"10.1007\/3-540-60271-2_118"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2002)"},{"key":"13_CR27","unstructured":"Stobie, K.: Advanced modeling, model based test generation, and Abstract state machine Language (AsmL). Seattle Area Software Quality Assurance Group (January 2003), http:\/\/www.sasqag.org\/pastmeetings\/asml.ppt"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46852-8_30","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France, R.B., Rumpe, B. (eds.) \u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard. LNCS, vol.\u00a01723, Springer, Heidelberg (1999)"},{"key":"13_CR29","series-title":"ENTCS","volume-title":"Electronic Notes in Theoretical Computer Science","author":"S. Khurshid","year":"2001","unstructured":"Khurshid, S., Marinov, D.: Checking Java implementation of a naming architecture using TestEra. In: Stoller, S.D., Visser, W. (eds.) Electronic Notes in Theoretical Computer Science. ENTCS, vol.\u00a055. Elsevier Science Publishers, Amsterdam (2001)"},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Alloy: A lightweight object modeling notation. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a011(2) (2002)","DOI":"10.1145\/505145.505149"},{"key":"13_CR31","unstructured":"Smirnov, A., Chiueh, T.-c.: DIRA: Automatic detection, identification, and repair of control-hijacking attacks. In: The 12th Annual Network and Distributed System Security Symposium, February 2005, San Diego, CA (2005)"},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"Kim, J.L., Park, T.: An efficient protocol for checkpointing recovery in distributed systems. IEEE Transactions on Parallel and Distributed Systems (August 1993)","DOI":"10.1109\/71.238629"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Karablieh, F., Bazzi, R.A., Hicks, M.: Compiler-assisted heterogeneous checkpointing. In: SRDS, p. 56 (2001)","DOI":"10.1109\/RELDIS.2001.969743"},{"key":"13_CR34","volume-title":"Comprehensive Functional Verification : The Complete Industry Cycle","author":"B. Wile","year":"2005","unstructured":"Wile, B., Goss, J., Roesner, W.: Comprehensive Functional Verification: The Complete Industry Cycle. Morgan Kaufmann, San Francisco (2005)"},{"key":"13_CR35","unstructured":"Synopsis. Assertion-based verification (March 2003), http:\/\/www.synopsys.com\/products\/simulation\/assertion_based_wp.pdf"},{"key":"13_CR36","doi-asserted-by":"crossref","unstructured":"Demsky, B., Rinard, M.: Automatic detection and repair of errors in data structures. In: Proc. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (2003)","DOI":"10.1145\/949305.949314"},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: directed automated random testing. In: PLDI \u201905. Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"13_CR38","doi-asserted-by":"crossref","unstructured":"Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering\u00a023(7) (1997)","DOI":"10.1109\/32.605761"},{"key":"13_CR39","doi-asserted-by":"crossref","unstructured":"Jones, B.F., Sthamer, H.H., Eyres, D.E.: Automatic structural testing using genetic algorithms. Software Engineering Journal (September 1996)","DOI":"10.1049\/sej.1996.0040"},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Pargas, R.P., Harrold, M.J., Peck, R.: Test-data generation using genetic algorithms. Journal of Software Testing, Verification, and Reliability\u00a09(4) (1999)","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"issue":"9","key":"13_CR41","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/357766.351266","volume":"35","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN Notices\u00a035(9), 268\u2013279 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR42","unstructured":"Jones, S.P., Hughes, J.: Report on the Programming Language Haskell 98. A Non-strict Purely Functional Language (February 1999)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2007 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73589-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:52:43Z","timestamp":1619517163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73589-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735885","9783540735892"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73589-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}