@techreport{KaYi2003,
   author = {Hyun-Goo Kang and Kwangkeun Yi},
   title = {Automatic Verification and Tuning of Transaction Based Database Applications},
   type = {Technical Memorandum},
   number = {ROPAS-2003-20},
   category = {tech-memo},
   institution = {Programming Research Laboratory, School of Computer Science & Engineering, Seoul National University},
   year = {2003},
   note = {in Korean},
   format = {pdf},
}