Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Lazy-substitution based symbolic execution for C programs


    Contributors:
    Mengxiang, L. (author) / Yinli, C. (author) / Rui, C. (author) / Gang, Z. (author)


    Publication date :

    2009-01-01


    Size :

    5 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Unknown


    Classification :

    DDC:    629.4



    Dynamic symbolic execution approach based on tabu search

    Cai, Jun / Zou, Peng / Ma, Jinxin et al. | British Library Online Contents | 2015


    LAZY ACTOR AVOIDANCE

    SCHLACTER SCOTT / GUPTA MANAS / SURESH PRADEEP | European Patent Office | 2025

    Free access

    Multifunctional lazy arm lighting assembly and lazy arm vehicle

    LUO QIAOJING | European Patent Office | 2023

    Free access

    Lazy Generic Cuts

    Khandelwal, Dinesh / Bhatia, Kush / Arora, Chetan et al. | British Library Online Contents | 2016


    Lazy Generic Cuts

    Khandelwal, Dinesh / Bhatia, Kush / Arora, Chetan et al. | British Library Online Contents | 2016