A CASE Tool for JAVA Programs Logical Errors Detection: Static and Dynamic Testing | IEEE Conference Publication | IEEE Xplore