Reducing GUI test suites via program slicing
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications