gustavoasoares / jdollyLinks
JDolly is a Java program generator
☆9Updated 7 years ago
Alternatives and similar repositories for jdolly
Users that are interested in jdolly are comparing it to the libraries listed below
Sorting:
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 10 years ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- Software testing optimization tool☆29Updated last year
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆98Updated 6 months ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆30Updated last week
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 6 years ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆167Updated last week
- junit tools contest infrastructure☆11Updated last year
- ☆29Updated 6 months ago
- ☆12Updated last year
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 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
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44Updated 4 years ago
- ☆9Updated 5 years ago
- JDCallgraph - Dynamic call graph generation for Java.☆19Updated 4 years ago
- JAva code coveraGe faUlt locAlization Rank☆29Updated 3 years ago
- ☆26Updated this week
- Java Program -> AST -> .dot -> Visualization☆68Updated 4 years ago
- Examples on how to use the Spoon Java source code transformation library☆89Updated 2 years ago
- DBGBench Website:☆18Updated 4 years ago
- Tool for effective and efficient detection of API misuses.☆11Updated 3 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆13Updated 5 months ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆94Updated 2 weeks ago
- ☆75Updated 7 years ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆25Updated 4 months ago
- ☆16Updated 3 months ago
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- Tool for mutation testing of C programs☆19Updated 5 years ago
- A platform for analysis of Java bytecode☆31Updated 7 months ago