Browsing by Subject "B notation"
Now showing items 1-1 of 1
(John Wiley & Sons, Ltd., 2004)BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specifications. BZ-TT uses boundary and cause–effect testing on the basis of the formal model. It has been used and validated on several ...