From unit tests to properties