DirectDebug: Automated Testing and Debugging of Feature Models