Select a tag to browse associated projects and drill deeper into the tag cloud.
This is an Eclipse plugin that implements the Korat algorithm to generate test candidates for Java programs. Korat is 'a novel framework for automated testing of Java programs. Given a formal specification for a method, Korat uses the method precondition to automatically generate all ... [More]
Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.