Efficient Bug-Hunting Techniques Using Graph-Based Stimulus Models

Author(s):
Nguyen Le and Mike Andrews