Browsing Academic Colleges, Departments, and Programs by Subject "Symbolic execution"

K-REx Repository

Browsing Academic Colleges, Departments, and Programs by Subject "Symbolic execution"

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

Browse

My Account








Center for the

Advancement of Digital

Scholarship

cads@k-state.edu