Browsing Computer Science by Author "Robby"

K-REx Repository

Browsing Computer Science by Author "Robby"

Sort by: Order: Results:

  • Deng, Xianghua; Lee, Jooyong; Robby (2012-11-12)
    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, ...

Search K-REx

Advanced Search


My Account

Center for the

Advancement of Digital


118 Hale Library

Manhattan KS 66506

(785) 532-7444