Generate specs from tests and update docs