Efficient Bug-Hunting Techniques Using Graph-Based Stimulus Models Author(s): Nguyen Le and Mike Andrews Download