Formalize and test the API interface between a client and server