Testing and concurrency