Ohloh by Black Duck

 Follow @ Meta   Join Now

 

Projects

Browse Projects By Tags Add a New Project
Selected Tags
Related Tags

Browsing projects by Tag(s)

Select a tag to browse associated projects and drill deeper into the tag cloud.

Showing page 1 of 1

korattester

Compare

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] (nonisomorphic) test cases up to a given small size. Korat then executes the method on each test case, and uses the method postcondition as a test oracle to check the correctness of each output.' From 'Korat: Automated Testing Based on Java Predicates' by Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov This can be automated with JUnit. [Less]

0
 
  0 reviews  |  0 users  |  8,664 lines of code  |  0 current contributors  |  Analyzed 1 day ago
  junit automated predicates testing korat plugin eclipse java
 
 
 
 

Creative Commons License 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.