TestNG test methods that take an argument are not included in the Test Coverage report

I have a TestNG test class. When I instrument it and run it with Clover, the resulting Test Coverage report shows a total of 3 tests, despite the fact that the class has 5 public methods annotated with @Test. 2 of these take an argument, supplied with a DataProvider, and I suspect that it is these that are not being counted.

Viewing the code in IntelliJ IDEA shows that all 5 tests did, in fact, execute.