The WiMAX standard is a behemoth: adhering to it means complying with 900 pages of documentation describing the physical layer and the media access control layer for WiMAX systems. Obviously, this calls for some sort of rigorous, frequent, and automated testing solution. One option is to build an executable specification.