Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A New Script Language Applicable to Symbolic Execution Systems


    Contributors:


    Publication date :

    2006-01-01


    Size :

    11 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    004.16



    ETRI Script Language and Procedure Execution for Satellite and Ground Operations Automation

    Kim, InJun / Lee, Soojeon / Lee, Byoung-sun et al. | AIAA | 2016


    ETRI Script Language and Procedure Execution for Satellite and Ground Operations Automation (AIAA 2016-2318)

    Kim, Injun / Lee, Soojeon / Lee, Byoung-Sun et al. | British Library Conference Proceedings | 2016



    Lazy-substitution based symbolic execution for C programs

    Mengxiang, L. / Yinli, C. / Rui, C. et al. | British Library Online Contents | 2009


    Dynamic symbolic execution approach based on tabu search

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