资 源 简 介
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 test environment, and the similarity of constrains to Korat"s class invariant repOk() mothod, the Grails framework is a good candidate for integration with Korat.
Korat code is licensed under GPL http://www.gnu.org/copyleft/gpl.html
The Korat home page is : http://korat.sf.net
Grails code is licensed under Apache License Version 2 http://www.apache.org/licenses/
The Grails ho