What tools you have used to produce sprites used in tutorials?

No, but you can if I’m not mistaken export a Flash animation to a sprite sheet and that can be used as a tilesource for flipbook animations.