Covering array sampling of input event sequences for automated gui testing