• CUTE

  • Referenced in 66 articles [sw00177]
  • CUTE: a concolic unit testing engine for C. In unit testing, a program is decomposed...
  • jCUTE

  • Referenced in 13 articles [sw26692]
  • Java Concolic Unit Testing Engine (jCUTE) automatically generates unit tests for Java programs. Concolic execution ... this combination, jCUTE is able to generate test cases that execute many different execution paths...
  • GKLEE

  • Referenced in 11 articles [sw12794]
  • GKLEE: concolic verification and test generation for GPUs. Programs written for GPUs often contain correctness...
  • CutEr

  • Referenced in 2 articles [sw28177]
  • CutEr: A concolic testing tool for the Erlang functional programming language...
  • LCT

  • Referenced in 1 article [sw30240]
  • Parallel Distributed Testing Tool for Multithreaded Java Programs. LIME Concolic Tester (LCT) is an open ... multithreaded Java programs. The tool uses concolic testing to handle input values and dynamic partial ... where the SMT constraint solving and test execution can be distributed to multiple processes ... tool and how it allows distributing concolic testing with DPOR and sleep set algorithms. This...
  • CATG

  • Referenced in 1 article [sw25258]
  • CATG: a concolic testing tool for sequential Java programs. CATG is a concolic unit testing ... loaded from local stacks and heaps. A concolic execution engine (see janala.interpreters.*) then takes...
  • StaDy

  • Referenced in 1 article [sw26632]
  • StaDy, a new integration of the concolic test generator PathCrawler within the software analysis platform...
  • QSYM

  • Referenced in 1 article [sw39689]
  • loosens the strict soundness requirements of conventional concolic executors for better performance, yet takes advantage ... OpenJPEG, which have already been intensively tested by the state-of-the-art fuzzers...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • Valgrind

  • Referenced in 63 articles [sw04420]
  • Valgrind is an instrumentation framework for building dynamic...
  • z3

  • Referenced in 606 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • LLVM

  • Referenced in 88 articles [sw04892]
  • The LLVM Project is a collection of modular...
  • KLEE

  • Referenced in 45 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage...
  • Maude

  • Referenced in 700 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • PathCrawler

  • Referenced in 10 articles [sw07253]
  • PathCrawler: Automatic Generation of Path Tests by Combining...
  • DART

  • Referenced in 76 articles [sw07260]
  • DART: directed automated random testing. We present a...
  • Mercury

  • Referenced in 69 articles [sw08333]
  • Mercury is a logic/functional programming language which combines...