Plain random test generation with PRTest. - Lemberger, Thomas (International Journal on Software Tools for Technology Transfer, 2021)