Automated correctness and performance testing