First of all, Thank you for your interest in iBUGS.
> Both in the file testresults.xml and in the <testsforfix> tag, I have
> noticed that sometimes the name of a test is a string with a sentence
> in English, and some other times, it is the name of a method.
>
> Is there any particular reason for this? Are these two different kinds
> of test cases?
Yes. For AspectJ, there are unit tests and harness (system) tests.
Most system tests are specified in xml files and have a descriptive
name (a string with a sentence). The other tests usually are unit
tests.
Regards,
Valentin