Automated Boundary Testing from Z and B.

Bruno Legeard, Fabien Peureux, Mark Utting

Browse the full FM paper archive.