Adian Chien's repositories
precise-regression-test-selection
Graduation design for my bachelor degree
leetcode
Some programming exercises.
ats
Atom Test Slicer demo using wala
latex-course
An interactive introduction to LaTeX using Overleaf.
checker-framework
Pluggable type-checking for Java
perffuzz
PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
Fuck-NJU-OJ
南京大学软件学院《高级算法》2019课程OJ题目代码
Book-Doc
books and docments
razzer
A Kernel fuzzer focusing on race bugs
EHBDroid
EHBDroid is an effective and efficient Android Testing tool based on the idea of "event-handler-based" testing. Please cite the following paper if you use this tool: Wei Song, Xiangxing Qian, and Jeff Huang. EHBDroid: Beyond GUI Testing for Android Applications. ASE 2017.
hello_world
This is a hello world repository.
jdart
A dynamic symbolic analysis tool for Java
dtdetector
Tool for "Empirically Revisiting the Test Independence Assumption", ISSTA'14.
janala2
a concolic testing engine for Java
cisco_acl
Python module for working with Cisco ACLs
jcute
Java Concolic Unit Testing Engine
ProgramAnalysis
Implementations of static analysis algorithms (e.g., constant propagation and zero CFA).