An Abstraction Technique for Testing Decomposable Systems by Model Checking.

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

Browse the full TAP paper archive.