Large Volume Testing for Executable Formal Specification Using Hadoop | IEEE Conference Publication | IEEE Xplore