User Tools

Site Tools


Using SMT solver and symbolic execution to generate test inputs for C programs (BibTeX)

@misc{Do-MasterThesis-2010,
  author      = {Quoc Huy Do},
  title       = {{Using SMT solver and symbolic execution to generate test inputs for C programs}},
  year        = 2010,
  howpublished= {Master Thesis},
  note        = {Available at \url{http://repository.vnu.edu.vn/handle/VNU_123/42121}.},
}