Conformance testing with concurrency