September 27, 2011
Abstract:
Join us to hear Professor Blackburn share and describe his research work on Requirements Modeling and Test Generation which was used to identify the bug that cause the Mars Polar Lander Crash. The presentation will include the theory behind his research approach and a demonstration of the tools and model that were used to find the bug.
No RSVP required