Combinatorial Testing for VDM | IEEE Conference Publication | IEEE Xplore