Skip to content

Latest commit

 

History

History

constraintBench

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
androidApps
androidApps
 
 
javaApps
javaApps
 
 
src/main/java/constraintBench
src/main/java/constraintBench
 
 
.gitignore
.gitignore
 
 
pom.xml
pom.xml
 
 
readme.md
readme.md
 
 

readme.md

This is the micro benchmark used for evaluating COVA. Most of the test programs can be found in src/main/java/constraintBench/test, the rest are in androidApps and javaApps.

constraint-APIs used for test cases:

  • <constraintBench.utils.Configuration: boolean featureA()>() -> C: A ID: 1001
  • <constraintBench.utils.Configuration: boolean featureB()>() -> C: B ID: 1002
  • <constraintBench.utils.Configuration: boolean featureC()>() -> C: C ID: 1003
  • <constraintBench.utils.Configuration: int featureD()>() -> C: D ID: 1004
  • <constraintBench.utils.Configuration: boolean featureE()>() -> C: E ID: 1005
  • <constraintBench.utils.Configuration: int featureF()>() -> C: F ID: 1006
  • <constraintBench.utils.Configuration: java.lang.String fieldA> -> C: FA ID: 1007
  • <constraintBench.utils.Configuration: java.lang.String fieldB> -> C: FB ID: 1008
  • <constraintBench.utils.Configuration: java.lang.String fieldC> -> C: FC ID: 1009
  • <constraintBench.utils.Configuration: constraintBench.utils.Property featureP()> -> C: P ID: 1010
  • <constraintBench.utils.Configuration: constraintBench.utils.Property featureQ()> -> C: Q ID: 1011
  • <constraintBench.utils.Configuration: double featureK()> -> C: K ID: 1012
  • <constraintBench.utils.Configuration: float featureH()> -> C: H ID: 1013
  • <constraintBench.utils.Configuration: constraintBench.utils.SuperProperty featureX()> -> C: X ID: 1014