You have the choice: you can use
The AspectJ Docs are similar to javadoc but contains also the AspetcJ features like pointcuts, advices, ...
For some examples take a at PatternTesting-Samples. Look at patterntesting.sample.Bomb which is an example for the @TestException annotation.