AutoBlackTest: Automatic Black-Box Testing of Interactive Applications | Synapse