Negative tests and test vectors