Background on Automata Theory
Describies the background knowlede on automata theory.
Fuzzing with Static Analysis
Describes the fuzzing algorithm with static analysis.
Matching VM Acceleration
Describes how to accelerate regular expression matching.
Criteria to Decide Algorithm
Describes the criteria to decide which algorithm is better to use.