Jenny – A tool for generating regression tests (2005)