automated generation of rest api specs