json-formatted specifications for unit testing frameworks