Documents Testing and Monitoring at Penn Testing and Monitoring Model-based Generated Program Li Tan, Jesung.....

Slide 1 Testing and Monitoring at Penn Testing and Monitoring Model-based Generated Program Li Tan, Jesung Kim, and Insup Lee July, 2003 Slide 2 Testing and Monitoring at…