Alternatives and similar repositories for Artemis:

Users that are interested in Artemis are comparing it to the libraries listed below

• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated last year
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆104Updated 7 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• cs-au-dk / thor
  ☆14Updated 7 years ago
• SETTE-Testing / sette-tool
  Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)
  ☆11Updated 2 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆116Updated 5 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆143Updated 2 weeks ago
• Rhapsod / sapienz
  A Prototype of Sapienz (Out-of-date and no longer supported)
  ☆81Updated 7 years ago
• michaelpradel / ConTeGe
  Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes
  ☆16Updated 5 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 6 months ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆69Updated 8 years ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 3 years ago
• mtappler / mut-learn
  Mutation-based implementation of a random equivalence testing strategy for active automata learning
  ☆15Updated 6 years ago
• vaibhavbsharma / java-ranger
  Java Ranger is a path-merging extension of Symbolic PathFinder
  ☆13Updated 4 months ago
• jeffoffutt / muJava
  Mutation system for Java programs, including OO mutation operators.
  ☆66Updated 6 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated last month
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated last week
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆42Updated 4 years ago
• wala / ML
  ☆26Updated last week
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• prapr / prapr
  Practical Program Repair via Bytecode Mutation
  ☆64Updated 2 years ago
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆195Updated last month
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 5 months ago
• albertogoffi / toradocu
  Toradocu - automated generation of test oracles from Javadoc documentation
  ☆42Updated last year
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆23Updated 6 months ago