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]
@inproceedings{Kusakabe11, title = {Large Volume Testing for Executable Formal Specification Using Hadoop}, author = {Shigeru Kusakabe}, year = {2011}, doi = {10.1109/IPDPS.2011.278}, url = {http://doi.ieeecomputersociety.org/10.1109/IPDPS.2011.278}, researchr = {https://researchr.org/publication/Kusakabe11}, cites = {0}, citedby = {0}, pages = {1250-1257}, booktitle = {25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings}, publisher = {IEEE}, isbn = {978-1-61284-425-1}, }