Testing Automation for system core kJava applications | IEEE Conference Publication | IEEE Xplore