PingCAP Announces Collaboration with the Advanced Software Technologies Lab at ETH Zürich to Explore DBMS Testing