cs-au-dk / Artemis
automated testing for JavaScript
☆36Updated 7 years ago
Alternatives and similar repositories for Artemis
Users that are interested in Artemis are comparing it to the libraries listed below
Sorting:
- ☆14Updated 7 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)☆11Updated 2 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆94Updated 3 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Tools, services and applications for source code analysis and search☆62Updated 9 years ago
- ☆26Updated last week
- Binary Instrumentation of Android Apps☆69Updated 8 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆97Updated 6 months ago
- A Prototype of Sapienz (Out-of-date and no longer supported)☆81Updated 7 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated 2 months ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Updated 10 years ago
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- A dynamic symbolic analysis tool for Java☆119Updated 5 years ago
- generate program dependence graphs for java programs.☆25Updated 7 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆43Updated 4 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 7 months ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- ☆15Updated 5 years ago
- Automated Testing Tool for Android Applications.☆60Updated 10 years ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆210Updated last month
- Practical Program Repair via Bytecode Mutation☆64Updated 2 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆90Updated 11 months ago
- A regular expression to SMT-LIB constraint translator☆11Updated 6 years ago
- Static checker for Java☆86Updated 3 months ago