Automated Java GUI Modeling for Model-Based Testing Purposes | IEEE Conference Publication | IEEE Xplore