Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL.

Emil Vassev, Mike Hinchey, Paddy Nixon

Browse the full TASE paper archive.