We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
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 (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: Automa
Grails is a web application framework that uses the design by convention paradigm. It uses the Groovy dynamic programming language which is byte-code compatible with Java. It also comes with a rich test environment that has unit testing, mocking, stubbing, and integration testing. Grails is a model-view-controller (MVC) framework and model (domain) classes can use constraint closures (anonymous code blocks) to check the state of an object. Due to Groovy's compatibility with Java, Grails' rich te
Korat for C# is a tool for constraint-based generation of structurally complex test inputs for C# programs. Structurally complex means that the inputs are structural (e.g., represented with linked data structures) and must satisfy complex constraints that relate parts of the structure e.g., invariants for linked data structures). Based on Korat for Java: http://korat.sourceforge.net/