Towards a Model of Testers' Cognitive Processes: Software Testing as a Problem Solving Approach | IEEE Conference Publication | IEEE Xplore