Pinned Repositories
ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
Hammer
A Coverage-Guided Fuzzer for Hardware Model Checkers
klee
mean-seed
A template of MEAN stack.
mean-seed-app
An app template of mean-seed
muchang.github.io
sysartifacts.github.io
Website for Artifact Evaluation at EuroSys, SOSP, OSDI
testsmt.github.io
testsmt.github.io
yinyang
A fuzzing framework for SMT solvers
muchang's Repositories
muchang/Hammer
A Coverage-Guided Fuzzer for Hardware Model Checkers
muchang/klee
muchang/muchang.github.io
muchang/ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
muchang/mean-seed
A template of MEAN stack.
muchang/mean-seed-app
An app template of mean-seed
muchang/sysartifacts.github.io
Website for Artifact Evaluation at EuroSys, SOSP, OSDI
muchang/testsmt.github.io
muchang/UD_English-EWT
English data
muchang/yinyang
A fuzzing framework for SMT solvers
muchang/z3guide
Tutorials and courses for Z3
muchang/z3test
Test and benchmark repository for Z3.