Predicate control for active debugging of distributed programs | IEEE Conference Publication | IEEE Xplore