• CUTE

  • Referenced in 57 articles [sw00177]
  • builds on previous work combining symbolic and concrete execution, and more specifically, using such ... generate test inputs to explore all feasible execution paths. The current work develops a method ... that capture the behavior of a symbolic execution of a unit with memory graphs...
  • VeriFast

  • Referenced in 48 articles [sw07705]
  • functions for specification. Verification proceeds by symbolic execution using an abstract representation of memory...
  • KLEE

  • Referenced in 35 articles [sw04894]
  • Coverage Tests for Complex Systems Programs. Symbolic execution tool, KLEE, capable of automatically generating tests...
  • Pex

  • Referenced in 32 articles [sw07263]
  • systematic program analysis (using dynamic symbolic execution, similar to path-bounded model-checking) to determine...
  • jStar

  • Referenced in 30 articles [sw11261]
  • predicate families and the idea of symbolic execution and abstraction using separation logic. The proposed...
  • JavaFAN

  • Referenced in 29 articles [sw01934]
  • Java program analysis framework, that can symbolically execute multithreaded programs, detect safety violations searching through...
  • Symstra

  • Referenced in 18 articles [sw01296]
  • generating object-oriented unit tests using symbolic execution Object-oriented unit tests consist of sequences ... achieves both test generation tasks using symbolic execution of method sequences with symbolic arguments...
  • TRACER

  • Referenced in 11 articles [sw09484]
  • TRACER: A Symbolic Execution Tool for Verification. TRACER is a verification tool based on symbolic ... TRACER attempts at building a finite symbolic execution tree which overapproximates ... tackles the two fundamental limitations of symbolic execution: exponential number of paths on the number ... counterexample-guided refinement phase within the symbolic execution process...
  • ATGen

  • Referenced in 10 articles [sw07275]
  • generation using constraint logic programming and symbolic execution The verification and validation of software through ... despite the high promises that the symbolic execution technique engendered when it was first proposed ... based on constraint logic programming and symbolic execution. After reviewing the symbolic execution technique, approaches ... difficulties that have so far prevented symbolic execution from reaching its full potential...
  • JPF-SE

  • Referenced in 10 articles [sw12038]
  • symbolic execution extension to Java pathfinder. We present JPF–SE, an extension to the Java ... Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses ... generate and explore symbolic execution paths and it uses off-the-shelf decision procedures...
  • jCUTE

  • Referenced in 8 articles [sw26692]
  • execution combines randomized concrete execution with symbolic execution and automatic constraint solving. Symbolic execution allows...
  • MXNet

  • Referenced in 11 articles [sw20940]
  • layer on top of that makes symbolic execution fast and memory efficient. MXNet is portable...
  • Multilisp

  • Referenced in 31 articles [sw09420]
  • Multilisp: A language for concurrent symbolic computation. Multilisp is a version of the Lisp dialect ... constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel...
  • Consit

  • Referenced in 7 articles [sw08962]
  • based upon conventional static slicing, symbolic execution and theorem proving. ConSIT is the first fully...
  • Sigma*

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

  • Referenced in 4 articles [sw15038]
  • tools for these logics often favour symbolic execution over verification condition generation. Consequently, tool support ... back-end verifiers: one based on symbolic execution, and one on verification condition generation...
  • RGITL

  • Referenced in 5 articles [sw13917]
  • based on the principles of symbolic execution and induction, known from the verification of sequential...
  • FloPSy

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

  • Referenced in 3 articles [sw22848]
  • DyTa: dynamic symbolic execution guided with static verification results. Software-defect detection is an increasingly ... phase generates test inputs through dynamic symbolic execution to confirm these potential defects. DyTa reduces...
  • rbMIT

  • Referenced in 121 articles [sw00784]
  • further develop the methodology, and (as Matlab® ”executables”) ”Users” — computational engineers and educators — who wish ... some reasonably fast platform, (iii) the Matlab® symbolic, pde, and optimizaton toolkits, and (iv) agreement...