• Harvey

  • Referenced in 4 articles [sw21395]
  • incorporate constraints to guide the generation of test inputs. Due to the declarative nature ... testing than in conventional software development. However, it is shown in practice that testing ... allows for random testing of answer set programs in which both test ... input generation and determining test verdicts is facilitated using ASP itself: the test-input space...
  • CUTE

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • SLAM

  • Referenced in 153 articles [sw03136]
  • SLAM is a project for checking that software...
  • KLEE

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

  • Referenced in 74 articles [sw07260]
  • DART: directed automated random testing. We present a...
  • JPF-SE

  • Referenced in 12 articles [sw12038]
  • JPF-SE: a symbolic execution extension to Java...
  • KLOVER

  • Referenced in 3 articles [sw13840]
  • KLOVER: A Symbolic Execution and Automatic Test Generation...
  • Prophet

  • Referenced in 5 articles [sw17448]
  • Automatic patch generation by learning correct code. We...
  • SemFix

  • Referenced in 5 articles [sw17449]
  • SemFix: program repair via semantic analysis. Debugging consumes...
  • CIL

  • Referenced in 36 articles [sw26691]
  • CIL: intermediate language and tools for analysis and...
  • jCUTE

  • Referenced in 13 articles [sw26692]
  • The Java Concolic Unit Testing Engine (jCUTE) automatically...
  • Angelix

  • Referenced in 2 articles [sw26887]
  • Angelix: Semantics-based test-driven automated program repair...