• Pex

  • Referenced in 32 articles [sw07263]
  • performs a systematic program analysis (using dynamic symbolic execution, similar to path-bounded model-checking...
  • Sigma*

  • Referenced in 8 articles [sw21731]
  • symbolic conjectures and abstraction. By combining dynamic symbolic execution to discover symbolic input-output steps...
  • DyTa

  • Referenced in 3 articles [sw22848]
  • DyTa: dynamic symbolic execution guided with static verification results. Software-defect detection is an increasingly ... defects in a program, static verification and dynamic test generation are two important proposed techniques ... dynamic test generation. DyTa consists of a static phase and a dynamic phase. The static ... dynamic phase generates test inputs through dynamic symbolic execution to confirm these potential defects. DyTa...
  • FloPSy

  • Referenced in 3 articles [sw12793]
  • based floating point constraint solving for symbolic execution. Recently there has been an upsurge ... Search–Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches...
  • BINSEC/SE

  • Referenced in 2 articles [sw28248]
  • BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis. When it comes to software ... work focusses on BINSEC/SE, the new dynamic symbolic execution engine (DSE) implemented in BINSEC...
  • ATGen

  • Referenced in 11 articles [sw07275]
  • programming and symbolic execution The verification and validation of software through dynamic testing ... despite the high promises that the symbolic execution technique engendered when it was first proposed...
  • ExpoSE

  • Referenced in 1 article [sw30523]
  • ExpoSE: practical symbolic execution of standalone JavaScript. JavaScript has evolved into a versatile ecosystem ... bugs increases. We introduce ExpoSE, a dynamic symbolic execution engine for Node.js applications. ExpoSE automatically...
  • LCTD

  • Referenced in 1 article [sw17728]
  • implementation is an extension of the dynamic symbolic execution tool LCT. We also present...
  • MXNet

  • Referenced in 20 articles [sw20940]
  • MXNet contains a dynamic dependency scheduler that automatically parallelizes both symbolic and imperative operations ... layer on top of that makes symbolic execution fast and memory efficient. MXNet is portable...
  • MSeqGen

  • Referenced in 0 articles [sw07264]
  • test-generation approaches: random testing and dynamic symbolic execution. We conduct two evaluations to show ... namespace) higher branch coverage and a dynamic-symbolic-execution-based approach achieves 17.4% (with...
  • SymJS

  • Referenced in 2 articles [sw30522]
  • events, symbolically execute the associated JavaScript code, refine the execution based on dynamic feedbacks ... string-numeric solver, and a symbolic executable DOM model. SymJS’s innovations include a novel ... symbolic virtual machine for JavaScript Web, symbolic+dynamic feedback directed event space exploration, and dynamic...
  • BinSim

  • Referenced in 1 article [sw31767]
  • modeling code snippet semantics with symbolic execution. However, neither approach delivers the expected precision ... execution traces. We perform enhanced dynamic slicing and symbolic execution to compare the logic...
  • Looper

  • Referenced in 3 articles [sw19489]
  • terminating. LOOPER uses symbolic execution to produce simple non-termination arguments for infinite loops dependent ... able to dynamically detect infinite loops deep in the execution of large Java programs with ... false warnings, producing symbolic arguments that can aid in debugging non-termination...
  • Z3-str

  • Referenced in 7 articles [sw19493]
  • features that enable whole program symbolic, static and dynamic analysis, but also it performs better ... application of Z3-str in remote code execution detection shows that its support...
  • PEORL

  • Referenced in 3 articles [sw29437]
  • dynamic environment with uncertainties. Symbolic plans are used to guide the agent’s task execution...
  • Consit

  • Referenced in 7 articles [sw08962]
  • powerful generalisation of static and dynamic slicing which has applications to many problems in software ... based upon conventional static slicing, symbolic execution and theorem proving. ConSIT is the first fully...
  • Taintscope

  • Referenced in 0 articles [sw23360]
  • automatic fuzzing system using dynamic taint analysis and symbolic execution techniques, to tackle the above ... Linux and Window). Based on fine-grained dynamic taint tracing, TaintScope identifies which bytes ... generated inputs using combined concrete and symbolic execution techniques. We evaluate TaintScope on a number...
  • PSPCLink

  • Referenced in 10 articles [sw06463]
  • series appear frequently in problems of nonlinear dynamics and celestial mechanics. The size of such ... makes their manipulation by means of general symbolic processors (GSP) inefficient. Special processors named Poisson ... Compiling the C-files, we created an executable program to be called from Mathematica. With...
  • DyNet

  • Referenced in 2 articles [sw18695]
  • implementing neural network models based on dynamic declaration of network structure. In the static declaration ... symbolic representation of the computation), and then examples are fed into an engine that executes ... computes its derivatives. In DyNet’s dynamic declaration strategy, computation graph construction is mostly transparent ... Python). One challenge with dynamic declaration is that because the symbolic computation graph is defined...
  • XSpeed

  • Referenced in 4 articles [sw20159]
  • reachability algorithm using support functions as symbolic states is also provided. Performance of XSpeed ... scalable tool for hybrid systems with linear dynamics. Experiments on Intel core i7-4770 having ... physical cores and 8 threads of execution show that XSpeed achieves a speed...