Research Article
A Constraint-Aware Optimization Method for Concurrency Bug Diagnosis Service in a Distributed Cloud Environment
| | Program | LOC | #Thread | #SV | Origin |
| | Critical | 73 | 4.3 | 1.4 | IBM ConTest benchmark suit [53] | | Account | 148 | 3.0 | 4.0 | IBM ConTest benchmark suit | | Loader | 148 | 4.0 | 2.0 | IBM ConTest benchmark suit | | Manager | 212 | 4.4 | 3.0 | IBM ConTest benchmark suit | | BuggyProgram | 385 | 4.0 | 5.0 | IBM ConTest benchmark suit | | ReadersWriters | 103 | 4.0 | 4.1 | SIR (http://sir.unl.edu/content/sir.php.) | | Tsp | 709 | 5.0 | 12.0 | SIR | | StringBuffer | 1320 | 3.0 | 5.0 | Suns JDK 1.4.2 | | LinkedList | 5979 | 3.0 | 15.0 | Suns JDK 1.4.2 | | ArrayList | 5866 | 3.0 | 5.0 | Suns JDK 1.4.2 | | Cache4j | 3897 | 4.0 | 5.0 | [40] | | SpecJBB-2005 | 17,596 | 4.0 | 116.0 | SPEC’s benchmark (http://www.spec.org/web2005.) |
|
|
