Browsing by Subject "B method"
Now showing items 1-1 of 1
-
Automated Boundary Testing from Z and B
(Springer, 2002)We present a method for black-box boundary testing from B and Z formal specifications. The basis of the method is to test every operation of the system at every boundary state using all input boundary values of that ...