cwi-swat / sle-rugLinks
SLE course at University of Groningen
☆10Updated last year
Alternatives and similar repositories for sle-rug
Users that are interested in sle-rug are comparing it to the libraries listed below
Sorting:
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- Emulator for AVR instruction set on an Arduino Uno☆15Updated 6 months ago
- ☆10Updated 4 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Editor for ISLE (Integrated Statistics Learning Environment) lessons.☆17Updated last year
- The semantics of Java in K☆19Updated 3 years ago
- Incremental Program Analysis Framework☆90Updated 4 years ago
- Regexp based tool for mutating generic source code across numerous languages☆141Updated 11 months ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated 2 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆29Updated 3 months ago
- A python backend for the GumTree diff tool.☆12Updated last year
- Perspectives on Data Science for Software Engineering☆61Updated 2 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated 2 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- Static analysis framework for EVM bytecode☆30Updated 5 years ago
- KORE to llvm translation☆39Updated this week
- ☆14Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 4 years ago
- ☆12Updated 3 years ago
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆23Updated last year
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 3 weeks ago
- Binary analysis in HOL☆41Updated 3 months ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆20Updated 2 years ago
- Distributed persistent programming language with secure information flow types☆29Updated 5 months ago
- ☆12Updated 2 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago