45th International Conference on Software Engineering (ICSE’23): Testing Database Engines via Query Plan Guidance.