Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report | IEEE Conference Publication | IEEE Xplore