- getPixels(IIII[I)[I REQUIRE getMinX()I getMinY()I getWidth()I getHeight()I [Raster]
- substring(II) REQUIRE length() OR indexOf(I) OR indexOf(II) OR lastIndexOf(String)
OR indexOf(String) OR startsWith(String) [String]
- BufferImage.getData(Rectangle) REQUIRE Rectangle.intersection(Rectangle) OR Rectangle.translate(II)
COPPICE receives a specification file and a command to execute the container project of the specifications as input. Usage of COPPICE is as follows:
Except for the first option, the last three options are compulsory. An example command to execute COPPICE is as follows. The command instructs COPPICE to extract legitimate rules from mined specifications of Apache FOP application in the DaCapo benchmark.
By default, COPPICE assumes that ASM and Commons CLI are installed in /user/share/java in your system. If you install them in a different location, you need to execute COPPICE with the following command:
After COPPICE completes its execution, look for a file named srules.sc in your current directory to see the legitimate rules inferred.
This release includes the binary version of COPPICE and the data we used in our ICFEM'11 paper: coppice-0.1.7z (482KB) [released on 1st Nov, 2011].
The zipped file is secured with a password. As a faculty policy, we are asked to know your purpose for downloading the tool. Please help us to fill up the following form, and a password will be shown to you. You may need to read our term of usage before proceeding with the dowload.
Extracting Significant Specifications from Mining through Mutation Testing
Anh Cuong Nguyen and Siau-Cheng Khoo
In 13rd International Conference on Formal Engineering Methods (ICFEM'11), Durham, England, October 2011
Last updated on 1st Nov, 2011.