Auto-Generation of Use Case Controllers