Test cases, integration with Travis CI