Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report.

Christoph Schulze, Mikael Lindvall, Sigurthor Bjorgvinsson, Robert Wiegand

Browse the full ISSRE paper archive.