A GUI Testability Problem: A Case Study in the Railway Signaling Domain | IEEE Conference Publication | IEEE Xplore