kframework / java-semanticsLinks
The semantics of Java in K
☆19Updated 3 years ago
Alternatives and similar repositories for java-semantics
Users that are interested in java-semantics are comparing it to the libraries listed below
Sorting:
- GenProg: heuristic, GP-based automatic program repair for C.☆96Updated 3 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆23Updated 3 years ago
- Source code for the Naturalize project☆56Updated 9 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Updated 8 years ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 9 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- An LLVM IR Editor plugin for Eclipse☆52Updated 11 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Hierarchical Delta Debugging Framework☆59Updated 7 months ago
- VATA Tree Automata Library☆32Updated 11 months ago
- GramTest: A tool for Grammar based Test case generation☆86Updated last year
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆47Updated 3 years ago
- ☆12Updated 6 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated 2 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated this week
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆20Updated 2 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- Static Analyzer and Verifier☆48Updated 9 months ago
- Semantic program repair system for C programs☆100Updated 2 years ago
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆22Updated 2 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- ☆19Updated 8 years ago
- ☆52Updated 9 years ago