How well do agents use test/verification techniques?