Pinned Repositories
.emacs.d
ace
Constraint Solver ACE
algorithm-paper
Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
bs
fastca
FastCATool
maxclique
solver for maximum clique problem
maximum-clique
ssh
struts 2 spring 4 hibernate 5
jkunlin's Repositories
jkunlin/ssh
struts 2 spring 4 hibernate 5
jkunlin/fastca
jkunlin/FastCATool
jkunlin/.emacs.d
jkunlin/ace
Constraint Solver ACE
jkunlin/algorithm-paper
jkunlin/Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
jkunlin/bs
jkunlin/Chameleon
jkunlin/crest
CREST is a concolic test generation tool for C.
jkunlin/dest_calculator
jkunlin/dotfiles
dot files for me
jkunlin/Eclipser
Grey-box Concolic Testing on Binary Code
jkunlin/FAST
"FAST Approaches to Scalable Similarity-based Test Case Prioritization" online material.
jkunlin/FAST-R
"Scalable Approaches for Test Suite Reduction" online material.
jkunlin/git_appimage
jkunlin/JD-GOC-VRP
VRPTW variation of JD Global Optimization Challange
jkunlin/jkunlin-vimrc
backup vim bundle and vimrc
jkunlin/max-weight-clique-instances
Benchmark instances for the maximum weight clique problem
jkunlin/mosh-static
Static builds of mosh-server
jkunlin/OOAD
面向对象大作业
jkunlin/result
jkunlin/routing
jkunlin/smt-comp.github.io
jkunlin/STP_CNFLS
jkunlin/super
jkunlin/TCA
jkunlin/tmux-appimage
jkunlin/whatsapp_stickers
A Flutter plugin for adding stickers to WhatsApp.
jkunlin/z3
The Z3 Theorem Prover