Automated quantum software engineering