Seminar at Tsinghua University: Testing Database Engines via Query Plan Guidance.