Browsing Computing and Information Sciences Faculty Research and Publications by Author "Lee, Jooyong"

xmlui.dri2xhtml.structural.head-subtitle

K-REx will undergo a system upgrade on Tuesday, February 16th, starting at 7AM.

Browsing Computing and Information Sciences Faculty Research and Publications by Author "Lee, Jooyong"

Sort by: Order: Results:

  • Deng, Xianghua; Lee, Jooyong; Robby (2012)
    Programs that manipulate dynamic heap objects are difficult to analyze due to issues like aliasing. Lazy initialization algorithm enables the classical symbolic execution to handle such programs. Despite its successes, ...