@techreport{RyYi1999,
   author = {Sukyoung Ryu and Kwangkeun Yi},
   title = {Automatic Test Data Generation for Exceptions in First-Order ML Programs},
   number = {ROPAS-1999-3},
   category = {tech-memo},
   institution = {Research On Program Analysis System, National Creative Research Center, Korea Advanced Institute of Science and Technology},
   month = {November},
   year = {1999},
   url = {http://ropas.snu.ac.kr/lib/dock/RyYi1999.ps.gz},
   format = {ps ps.gz dvi.gz pdf},
}