Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Constraint programming for dynamic symbolic execution of JavaScript - MaRDI portal

Constraint programming for dynamic symbolic execution of JavaScript (Q2327235)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Constraint programming for dynamic symbolic execution of JavaScript
scientific article

    Statements

    title
    Constraint programming for dynamic symbolic execution of JavaScript (English)
    0 references
    author
    Roberto Amadini
    0 references
    Mak Andrlon
    0 references
    Graeme Gange
    0 references
    Peter Schachte
    0 references
    Harald Søndergaard
    0 references
    Peter J. Stuckey
    0 references
    publication date
    14 October 2019
    0 references
    describes a project that uses
    DART
    0 references
    SMT-LIB
    0 references
    S3
    0 references
    Gecode
    0 references
    TCAS
    0 references
    Norn
    0 references
    StrSolve
    0 references
    PASS
    0 references
    Jalangi
    0 references
    Z3str3
    0 references
    ExpoSE
    0 references
    JSAI
    0 references
    SymJS
    0 references
    CUTE
    0 references
    z3
    0 references
    MiniZinc
    0 references
    HAMPI
    0 references
    KLEE
    0 references
    Z3-str
    0 references
    JavaScript
    0 references
    jCUTE
    0 references

    Identifiers

    zbMATH DE Number
    7116682
    0 references
    OpenAlex ID
    W2946774019
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2327235&oldid=32062942"
    Powered by MediaWiki