Write tests in a declarative specification style
