martinschaef / bixieLinks
Inconsistent Code Detection for Java
☆11Updated 4 years ago
Alternatives and similar repositories for bixie
Users that are interested in bixie are comparing it to the libraries listed below
Sorting:
- Inconsistent code detection for Java.☆14Updated 7 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- Static checker for Java☆86Updated 4 months ago
- Java Concolic Unit Testing Engine☆89Updated 10 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- Kodkod solver for relational logic