Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip