Developer Testing in the IDE: Patterns, Beliefs, and Behavior | IEEE Journals & Magazine | IEEE Xplore