Topology and activity simulator for spectrum-based fault localization.