{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:50:31Z","timestamp":1760586631709},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642327582"},{"type":"electronic","value":"9783642327599"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32759-9_37","type":"book-chapter","created":{"date-parts":[[2012,8,21]],"date-time":"2012-08-21T06:12:30Z","timestamp":1345529550000},"page":"455-470","source":"Crossref","is-referenced-by-count":13,"title":["Specification-Based Test Repair Using a Lightweight Formal Method"],"prefix":"10.1007","author":[{"given":"Guowei","family":"Yang","sequence":"first","affiliation":[]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[]},{"given":"Miryung","family":"Kim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"JUnit website, \n                  \n                    http:\/\/www.junit.org"},{"key":"37_CR2","unstructured":"Chen, L., Avizienis, A.: N-version programming: a fault-tolerance approach to reliability. In: FTCS, vol.\u00a08, pp. 3\u20139 (1978)"},{"key":"37_CR3","unstructured":"Chen, Y.F., Rosenblum, D.S., Vo, K.P.: Testtube: a system for selective regression testing. In: ICSE, pp. 211\u2013220 (1994)"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: ICSE (2005)","DOI":"10.1145\/1062455.1062522"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Daniel, B., Gvero, T., Marinov, D.: On test repair using symbolic execution. In: ISSTA, pp. 207\u2013218 (2010)","DOI":"10.1145\/1831708.1831734"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"Daniel, B., Jagannath, V., Dig, D., Marinov, D.: ReAssert: Suggesting repairs for broken unit tests. In: ASE, pp. 433\u2013444 (2009)","DOI":"10.1109\/ASE.2009.17"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Dennis, G., Chang, F.S.H., Jackson, D.: Modular verification of code with SAT. In: ISSTA, pp. 109\u2013120 (2006)","DOI":"10.1145\/1146238.1146251"},{"key":"37_CR8","unstructured":"Deursen, A.V., Moonen, L., Bergh, A., Kok, G.: Refactoring test code. In: XP, pp. 92\u201395 (2001)"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Galeotti, J.P., Rosner, N., L\u00f3pez Pombo, C.G., Frias, M.F.: Analysis of invariants for efficient bounded verification. In: ISSTA, pp. 25\u201336 (2010)","DOI":"10.1145\/1831708.1831712"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-19835-9_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Gopinath","year":"2011","unstructured":"Gopinath, D., Malik, M.Z., Khurshid, S.: Specification-Based Program Repair Using SAT. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 173\u2013188. Springer, Heidelberg (2011)"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"Grechanik, M., Xie, Q., Fu, C.: Maintaining and evolving GUI-directed test scripts. In: ICSE, pp. 408\u2013418 (2009)","DOI":"10.1109\/ICSE.2009.5070540"},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"Hangal, S., Lam, M.S.: Tracking down software bugs using automatic anomaly detection. In: ICSE, pp. 291\u2013301 (2002)","DOI":"10.1145\/581376.581377"},{"key":"37_CR13","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2006)"},{"key":"37_CR14","doi-asserted-by":"crossref","unstructured":"Jeffrey, D., Feng, M., Gupta, N., Gupta, R.: BugFix: A learning-based tool to assist developers in fixing bugs. In: ICPC, pp. 70\u201379 (2009)","DOI":"10.1109\/ICPC.2009.5090029"},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"Jiang, L., Su, Z.: Context-aware statistical debugging: from bug predictors to faulty control flow paths. In: ASE, pp. 184\u2013193 (2007)","DOI":"10.1145\/1321631.1321660"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"Khurshid, S., Marinov, D.: TestEra: Specification-based testing of Java programs using SAT. In: ASE, vol.\u00a011(4), pp. 403\u2013434 (2004)","DOI":"10.1023\/B:AUSE.0000038938.10589.b9"},{"issue":"2","key":"37_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1416563.1416564","volume":"18","author":"A.M. Memon","year":"2008","unstructured":"Memon, A.M.: Automatically repairing event sequence-based GUI test suites for regression testing. TOSEM\u00a018(2), 1\u201336 (2008)","journal-title":"TOSEM"},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"Mirzaaghaei, M., Pastore, F., Pezze, M.: Automatically repairing test cases for evolving method declarations. In: ICSM, pp. 1\u20135 (2010)","DOI":"10.1109\/ICSM.2010.5609549"},{"issue":"2","key":"37_CR19","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/248233.248262","volume":"6","author":"G. Rothermel","year":"1997","unstructured":"Rothermel, G., Harrold, M.J.: A safe, efficient regression test selection technique. TOSEM\u00a06(2), 173\u2013210 (1997)","journal-title":"TOSEM"},{"key":"37_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex\u2013White Box Test Generation for.NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"37_CR21","unstructured":"Vaziri, M.: Finding Bugs Using a Constraint Solver. Ph.D. thesis, CSAIL, MIT (2003)"},{"key":"37_CR22","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model checking programs. In: ASE, vol.\u00a010(2), pp. 203\u2013232 (2003)","DOI":"10.1023\/A:1022920129859"},{"key":"37_CR23","doi-asserted-by":"crossref","unstructured":"Visser, W., P\u01ces\u01cereanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In: ISSTA, pp. 97\u2013107 (2004)","DOI":"10.1145\/1013886.1007526"},{"key":"37_CR24","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T., Le Goues, C., Forrest, S.: Automatically finding patches using genetic programming. In: ICSE, pp. 364\u2013374 (2009)","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"37_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/978-3-642-14107-2_27","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"R. Nokhbeh Zaeem","year":"2010","unstructured":"Nokhbeh Zaeem, R., Khurshid, S.: Contract-Based Data Structure Repair Using Alloy. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 577\u2013598. Springer, Heidelberg (2010)"},{"issue":"3","key":"37_CR26","first-page":"325","volume":"16","author":"A. Zaidman","year":"2011","unstructured":"Zaidman, A., Rompaey, B.V., van Deursen, A., Demeyer, S.: Studying the co-evolution of production and test code in open source and industrial developer test processes through repository mining. ESE\u00a016(3), 325\u2013364 (2011)","journal-title":"ESE"},{"key":"37_CR27","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/2.963440","volume":"34","author":"A. Zeller","year":"2001","unstructured":"Zeller, A.: Automated debugging: Are we close? Computer\u00a034, 26\u201331 (2001)","journal-title":"Computer"}],"container-title":["Lecture Notes in Computer Science","FM 2012: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32759-9_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:14:58Z","timestamp":1620116098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32759-9_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642327582","9783642327599"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32759-9_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}