I just finished a project using Camtasia 5 and I must say I love it.
When importing the footage into premiere you might need to change the codec as otherwise it comes out all pixelated. I changed it to H.264 and Quicktime and it worked great. I turned down the screen colour depth to 16 bit as well which seemed to help.
Believe me I searched around for hours trying to get it to work, I almost bought a tutorial DVD I was in such a panic..
If there is an area of the screen you need to pay attention to, be sure to zoom in on it as capturing the whole screen did not give the clarity when highlighting particular items, in our case menu buttons..
When you export to DV-AVI, it will seem all juddery but once you have encoded it to your delivery format it will be fine..
Hope this helps. Jon