cs-au-dk / Artemis

Related projects ⓘ

Alternatives and complementary repositories for Artemis

• ksen007 / janala2
  a concolic testing engine for Java
  ☆102Updated 6 years ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆20Updated last year
• cs-au-dk / thor
  ☆14Updated 7 years ago
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated 4 years ago
• wtchoi / SwiftHand
  Automated Testing Tool for Android Applications.
  ☆60Updated 9 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆113Updated 5 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• wala / JS_WALA
  WALA analyses and tools that are implemented in JavaScript
  ☆82Updated 8 years ago
• wala / ML
  ☆25Updated this week
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆194Updated 4 years ago
• cuplv / chimpcheck
  Combinator Library for writing test generators and test properties for Android Apps
  ☆12Updated 5 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆92Updated 3 years ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆70Updated 8 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆32Updated last year
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆79Updated last month
• Rhapsod / sapienz
  A Prototype of Sapienz (Out-of-date and no longer supported)
  ☆81Updated 7 years ago
• TESTARtool / TESTAR_dev
  TESTAR, automated testing through the Graphical User Interface
  ☆37Updated this week
• SETTE-Testing / sette-tool
  Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)
  ☆11Updated 2 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆130Updated last month
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆97Updated 3 weeks ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆91Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆63Updated last year
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆88Updated 5 months ago
• jeffoffutt / muJava
  Mutation system for Java programs, including OO mutation operators.
  ☆66Updated 5 years ago
• Haiyang-Sun / nodeprof.js
  Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
  ☆53Updated last month
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 9 years ago
• vaibhavbsharma / java-ranger
  Java Ranger is a path-merging extension of Symbolic PathFinder
  ☆13Updated 2 weeks ago
• osl / concolic-walk
  Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
  ☆14Updated 10 years ago