How do testers do it? An exploratory study on manual testing practices | IEEE Conference Publication | IEEE Xplore