{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:31:47Z","timestamp":1773192707368,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540281955","type":"print"},{"value":"9783540318996","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11537328_12","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T20:02:25Z","timestamp":1279828945000},"page":"123-138","source":"Crossref","is-referenced-by-count":26,"title":["Repairing Structurally Complex Data"],"prefix":"10.1007","author":[{"given":"Sarfraz","family":"Khurshid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iv\u00e1n","family":"Garc\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuk Lai","family":"Suen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","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":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-540-27813-9_49","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, pp. 515\u2013518. Springer, Heidelberg (2004)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: Proc. 36thConference on Design Automation (DAC), New Orleans, LA (1999)","DOI":"10.1145\/309847.309942"},{"key":"12_CR4","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, pp. 123\u2013133 (2002)","DOI":"10.1145\/566172.566191"},{"key":"12_CR5","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, p. 231. Springer, Heidelberg (2002)"},{"key":"12_CR6","unstructured":"Chiba, S.: Javassist\u2014a reflection-based programming wizard for Java. In: Proceedings of the ACM OOPSLA 1998 Workshop on Reflective Programming in C++ and Java (October 1998)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C., Robby, Laubach, S., Zheng, H.: Bandera: Extracting finite-state models from Java source code. In: Proc. 22nd International Conference on Software Engineering (ICSE) (June 2000)","DOI":"10.1145\/337180.337234"},{"key":"12_CR8","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press, Cambridge (1990)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Demsky, B., Rinard, M.: Automatic detection and repair of errors in data structures. In: Proc. ACM SIGPLAN 2003 Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 78\u201395 (2003)","DOI":"10.1145\/949305.949314"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: Proc. ACM SIGPLAN 2002 Conference on Programming language design and implementation, pp. 234\u2013245 (2002)","DOI":"10.1145\/512529.512558"},{"key":"12_CR11","unstructured":"Garc\u00eda, I.: Enabling symbolic execution of Java programs using bytecode instrumentation. Master\u2019s thesis, Department of Electrical and Computer Engineering, The University of Texas at Austin (May 2005)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model checking for programming languages using VeriSoft. In: Proc. 24th Annual ACM Symposium on the Principles of Programming Languages (POPL), Paris, France, January 1997, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"issue":"6 part 2","key":"12_CR13","doi-asserted-by":"crossref","first-page":"1385","DOI":"10.1002\/j.1538-7305.1985.tb00280.x","volume":"64","author":"G. Haugk","year":"1985","unstructured":"Haugk, G., Lax, F., Royer, R., Williams, J.: The 5ESS(TM) switching system: Maintenance capabilities. AT&T Technical Journal\u00a064(6 part 2), 1385\u20131416 (1985)","journal-title":"AT&T Technical Journal"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Holzmann, G.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5) (May 1997)","DOI":"10.1109\/32.588521"},{"key":"12_CR15","unstructured":"Jackson, D.: Micromodels of software: Modelling and analysis with Alloy (2001), http:\/\/sdg.lcs.mit.edu\/alloy\/book.pdf"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Jackson, D., Vaziri, M.: Finding bugs with a constraint solver. In: Proc. International Symposium on Software Testing and Analysis (ISSTA), Portland, OR (August 2000)","DOI":"10.1145\/347324.383378"},{"key":"12_CR17","unstructured":"Khurshid, S.: Generating Structurally Complex Tests from Declarative Constraints. PhD thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology (December 2003)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","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.) TACAS 2003. LNCS, vol.\u00a02619, pp. 553\u2013568. Springer, Heidelberg (2003)"},{"issue":"7","key":"12_CR19","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of the ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Communications of the ACM"},{"key":"12_CR20","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report TR 98-06i, Department of Computer Science, Iowa State University (June 1998)"},{"key":"12_CR21","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":"12_CR22","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":"12_CR23","doi-asserted-by":"crossref","unstructured":"Marinov, D., Khurshid, S.: TestEra: A novel framework for automated testing of Java programs. In: Proc. 16th IEEE International Conference on Automated Software Engineering (ASE), San Diego, CA (November 2001)","DOI":"10.1109\/ASE.2001.989787"},{"issue":"10","key":"12_CR24","doi-asserted-by":"publisher","first-page":"1135","DOI":"10.1109\/TSE.1987.232855","volume":"13","author":"S. Mourad","year":"1987","unstructured":"Mourad, S., Andrews, D.: On the reliability of the IBM MVS\/XA operating system. IEEE Transactions on Software Engineering\u00a013(10), 1135\u20131139 (1987)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR25","unstructured":"Rinard, M.: Resilient computing. Technical report, MIT Computer Science and Artificial Intelligence Laboratory (2003) (research abstract)"},{"key":"12_CR26","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, San Diego, CA (February 2005)"},{"key":"12_CR27","unstructured":"Suen, Y.L.: Automatically repairing structurally complex data. Master\u2019s thesis, Department of Electrical and Computer Engineering, The University of Texas at Austin (May 2005)"},{"key":"12_CR28","unstructured":"United States Nuclear Regulatory Commission. Fault Tree Handbook 1981. NUREG-0492 (1981)"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Proc. 15th IEEE International Conference on Automated Software Engineering (ASE), Grenoble, France (2000)","DOI":"10.1109\/ASE.2000.873645"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11537328_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:12:31Z","timestamp":1605643951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11537328_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281955","9783540318996"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11537328_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}