Fix input checking in use cases; generate controllers