External behavior and integration testing