Quickcheck4eclipse is a project mainly written in Java, based on the MIT license.
QuickCheck Eclipse integration
Eclipse integration plugin of the testing tool QuickCheck.