Experience in using three testing tools for research and education in software engineering | IEEE Conference Publication | IEEE Xplore