Skip to content

readme.md

Latest commit

 

History

History
18 lines (16 loc) · 1.42 KB

readme.md

File metadata and controls

18 lines (16 loc) · 1.42 KB

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