cs-au-dk / Artemis

Related projects ⓘ

Alternatives and complementary repositories for Artemis

• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• wala / ML
  ☆25Updated this week
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆70Updated 8 years ago
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated 4 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆102Updated 6 years ago
• cs-au-dk / thor
  ☆14Updated 7 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆98Updated 4 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆130Updated last month
• albertogoffi / toradocu
  Toradocu - automated generation of test oracles from Javadoc documentation
  ☆42Updated 8 months ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆88Updated 5 months ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆20Updated last year
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆97Updated last month
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• mtappler / mut-learn
  Mutation-based implementation of a random equivalence testing strategy for active automata learning
  ☆14Updated 5 years ago
• wtchoi / SwiftHand
  Automated Testing Tool for Android Applications.
  ☆60Updated 9 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆30Updated last month
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆41Updated 4 years ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 2 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆29Updated last week
• TestingResearchIllinois / starts
  STARTS - A tool for STAtic Regression Test Selection
  ☆29Updated 4 months ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆79Updated last month
• squaresLab / footpatch
  ☆15Updated 5 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆22Updated last month
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆93Updated 2 months ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆114Updated 5 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• SETTE-Testing / sette-tool
  Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)
  ☆11Updated 2 years ago
• michaelpradel / ConTeGe
  Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes
  ☆17Updated 5 years ago
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆18Updated 3 months ago