A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
The main two topics of our tool are (1) automatically generation of test cases and (2) boundary value analysis. ... For software development using Formal Methods, we have developed a prototype of the boundary value test case automatic generation tool BWDM. ... Conclusion In this research, we have developed a prototype of test cases automatic generation tool BWDM based on boundary value analysis targeting the VDM++ specification with the aim of streamlining the ...doi:10.2991/jrnal.2017.4.2.1 fatcat:ndmdh2v565hnvpskxk675ecuxm