Pinned Repositories
codeflaws
This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
codis
Inductive program synthesizer
codis-experiments
maxsmt-playground
Collection of MaxSMT solvers
repair-synthesis
Component-based Program Repair
angelix
Semantic program repair system for C programs
f1x
Efficient patch generation engine for C/C++ programs
modus
A language for building Docker/OCI container images
symlog
Symbolic executor of Datalog
program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
mechtaev's Repositories
mechtaev/codis
Inductive program synthesizer
mechtaev/maxsmt-playground
Collection of MaxSMT solvers
mechtaev/repair-synthesis
Component-based Program Repair
mechtaev/codis-experiments
mechtaev/rats
A game about rats
mechtaev/mechtaev.com
mechtaev/z3
The Z3 Theorem Prover
mechtaev/angelix.io
mechtaev/bugs-dot-jar-review
mechtaev/cerberus
Program repair platform that provides interface to multiple state-of-the-art program repair tools
mechtaev/desktop-container
mechtaev/devcloud
mechtaev/dotfiles
mechtaev/f1x-modus
mechtaev/gnu-repo-analyzer
mechtaev/klee
KLEE Symbolic Virtual Machine
mechtaev/klee.github.io
mechtaev/latex-inkscape-template
mechtaev/rs
Bash script for running commands on a cluster using screen
mechtaev/SAT
Experiments with satisfiability
mechtaev/test-pr
mechtaev/text_analysis
mechtaev/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research