Shigeru Kusakabe. Large Volume Testing for Executable Formal Specification Using Hadoop. In 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. pages 1250-1257, IEEE, 2011. [doi]
Abstract is missing.