Retraction Note: Automatic test case generation for validating the dynamic behaviors of the complete solar power monitoring system - Retraction Notice | RetractBase