Seminar at TiDB company: Testing Database Engines via Query Plan Guidance.