Progress on unit test generation