Automatic Generation of Effective Unit Tests based on Code Behaviour | IEEE Conference Publication | IEEE Xplore