To use APPTS to generate a constrained covering array, execute the following command:
java -jar appts.jar <MODEL_NAME> <CONSTRAINT_NAME> <CUTOFFTIME>
For example, run
java -jar appts.jar demo.model demo.constraints 30
Note that we rely on iopg-ft.jar to generate the initial CA, so that it should be put into the same directory as appts.jar. We also provide the executable files of alternative versions of APPTS, i.e., DPTS, SPTS and APTS, and they can be used as the same way of appts.jar.
Please refer to the appts_source directory.
Please refer to the results.pdf file.