• CUTE

  • Referenced in 65 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 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SPIN

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

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

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

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

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

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

  • Referenced in 698 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 74 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...