Saturation Effects in Testing of Formal Models.

Tim Menzies, David Owen, Bojan Cukic

Browse the full ISSRE paper archive.