Efficient Bug-Hunting Techniques Using Graph-Based Stimulus Models