A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Keywords Software testing boundary value analysis pairwise testing formal methods VDM++ PICT A B S T R A C T Verification tool for Vienna Development Method (BWDM) is a test case generation tool for the VDM++ specification. The existing BWDM could cause a combinatorial explosion of the generated test cases. To reduce the number of test cases, there is Pairwise Independent Combinatorial Testing Tool (PICT): a pairwise testing tool. We apply pairwise testing into BWDM. Here, BWDM cannot call PICTdoi:10.2991/jrnal.k.191202.001 fatcat:s6rvzc7fqra3xckejdn5sjta5u