Lightweight program specifications for testing JavaScript - View it on GitHub