|
1. account |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
66 LOC, 3 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
1509 |
SIR Version: |
1.1 |
|
|
2. accountsubtype |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
89 LOC, 6 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
562 |
SIR Version: |
1.1 |
|
|
3. airline |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
31 LOC, 2 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
806 |
SIR Version: |
1.1 |
|
|
4. alarm_clock |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
125 LOC, 6 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
747 |
SIR Version: |
1.1 |
|
|
5. allocationVector |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
87 LOC, 3 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
420 |
SIR Version: |
1.1 |
|
|
6. ant |
|
|
|
Language |
|
Java |
Test Types |
|
Unit |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
11 |
Size |
|
80500 LOC, 627 |
Acknowledgements |
|
|
|
Updated: |
2005-11-22 |
Downloads: |
1685 |
SIR Version: |
1.0 |
|
|
7. Apollo |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
yes |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
4109 LOC, 55 |
Acknowledgements |
|
Originally from the Java Pathfinder (JFP) distribution, this version adds assertions to one or more classes to support the iDiscovery tool of Zhang et.al. (ISSTA'14) Requires Diakon version 4.6.4 |
|
Updated: |
2014-09-07 |
Downloads: |
389 |
SIR Version: |
1.0 |
|
|
8. Array-Partition |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
yes |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
13 LOC, 1 |
Acknowledgements |
|
Courtesy of the SAnToS Research Group at Kansas State |
|
Updated: |
2011-07-14 |
Downloads: |
676 |
SIR Version: |
2.0 |
|
|
9. Binary-Heap |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
yes |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
72 LOC, 2 |
Acknowledgements |
|
Courtesy of the SAnToS Research Group at Kansas State |
|
Updated: |
2011-07-14 |
Downloads: |
491 |
SIR Version: |
2.0 |
|
|
10. Binary-Search-Tree |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
yes |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
130 LOC, 4 |
Acknowledgements |
|
Courtesy of the SAnToS Research Group at Kansas State |
|
Updated: |
2011-07-14 |
Downloads: |
759 |
SIR Version: |
2.0 |
|
|
11. boundedBuffer |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
65 LOC, 5 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
379 |
SIR Version: |
1.1 |
|
|
12. clean |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
51 LOC, 4 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
364 |
SIR Version: |
1.1 |
|
|
13. Cruise Control |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Mutation |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
261 LOC, 4 |
Acknowledgements |
|
Graciously provided by the SQUALL Lab at Carleton University |
|
Updated: |
2009-09-21 |
Downloads: |
765 |
SIR Version: |
1.0 |
|
|
14. daisy |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
883 LOC, 22 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
522 |
SIR Version: |
1.1 |
|
|
15. deadlock |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
24 LOC, 4 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
367 |
SIR Version: |
1.1 |
|
|
16. deos |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
838 LOC, 24 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
422 |
SIR Version: |
1.1 |
|
|
17. Derby |
|
|
|
Language |
|
Java |
Test Types |
|
Unit |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
5 |
Size |
|
503833 LOC, 1967 |
Acknowledgements |
|
|
|
Updated: |
2009-08-10 |
Downloads: |
358 |
SIR Version: |
1.0 |
|
|
18. diningPhilosophers |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
27 LOC, 3 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
359 |
SIR Version: |
1.1 |
|
|
19. Disjoint-Set |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
yes |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
35 LOC, 1 |
Acknowledgements |
|
Courtesy of the SAnToS Research Group at Kansas State |
|
Updated: |
2011-07-14 |
Downloads: |
415 |
SIR Version: |
2.0 |
|
|
20. Doubly-Linked-List |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
yes |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
277 LOC, 1 |
Acknowledgements |
|
Courtesy of the SAnToS Research Group at Kansas State |
|
Updated: |
2011-07-14 |
Downloads: |
434 |
SIR Version: |
2.0 |
|
|
21. Elevator |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Mutation |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
580 LOC, 8 |
Acknowledgements |
|
Graciously provided by the SQUALL Lab at Carleton University |
|
Updated: |
2009-09-21 |
Downloads: |
831 |
SIR Version: |
1.0 |
|
|
22. elevator |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
934 LOC, 12 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
568 |
SIR Version: |
1.1 |
|
|
23. elevator__spl |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
1046 LOC, 17 |
Acknowledgements |
|
Modified from http://www.infosun.fim.uni-passau.de/spl/hybrid/ |
|
Updated: |
2013-05-15 |
Downloads: |
181 |
SIR Version: |
1.0 |
|
|
24. email__spl |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
1233 LOC, 17 |
Acknowledgements |
|
Modified from http://www.infosun.fim.uni-passau.de/spl/hybrid/ |
|
Updated: |
2013-05-15 |
Downloads: |
166 |
SIR Version: |
1.0 |
|
|
25. GPL__spl |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
1713 LOC, 111 |
Acknowledgements |
|
Graph generator is taken from http://graphstream-project.org/ |
|
Updated: |
2013-05-15 |
Downloads: |
142 |
SIR Version: |
1.0 |
|
|
26. groovy |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
2 |
Size |
|
361 LOC, 2 |
Acknowledgements |
|
This bug was originally prepared by Vilas Jagannath, and was prepared for
submission to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
363 |
SIR Version: |
1.2 |
|
|
27. JaConTeBe |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
6550 LOC, 88 |
Acknowledgements |
|
|
|
Updated: |
2015-01-30 |
Downloads: |
287 |
SIR Version: |
1.0 |
|
|
28. jboss |
|
|
|
Language |
|
Java |
Test Types |
|
Unit |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
10 |
Size |
|
116638 LOC, 1126 |
Acknowledgements |
|
|
|
Updated: |
2009-03-26 |
Downloads: |
444 |
SIR Version: |
1.0 |
|
|
29. jmeter |
|
|
|
Language |
|
Java |
Test Types |
|
Unit |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
7 |
Size |
|
43400 LOC, 389 |
Acknowledgements |
|
|
|
Updated: |
2005-11-22 |
Downloads: |
1111 |
SIR Version: |
1.0 |
|
|
30. jtcas |
|
|
|
Language |
|
Java |
Test Types |
|
TSL |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
169 LOC, 1 |
Acknowledgements |
|
A port of the original Siemens tcas application into Java |
|
Updated: |
2012-05-11 |
Downloads: |
756 |
SIR Version: |
1.2 |
|
|
31. jtopas |
|
|
|
Language |
|
Java |
Test Types |
|
Unit |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
4 |
Size |
|
5400 LOC, 50 |
Acknowledgements |
|
|
|
Updated: |
2005-11-22 |
Downloads: |
2228 |
SIR Version: |
1.0 |
|
|
32. jtopas__spl |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
2031 LOC, 71 |
Acknowledgements |
|
Modified from http://jtopas.sourceforge.net/jtopas/ |
|
Updated: |
2013-05-15 |
Downloads: |
173 |
SIR Version: |
1.0 |
|
|
33. lang |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
2 |
Size |
|
990 LOC, 4 |
Acknowledgements |
|
This bug was originally prepared by Qingzhou Luo, and was prepared for
submission to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
396 |
SIR Version: |
1.2 |
|
|
34. linkedlist |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
121 LOC, 5 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
410 |
SIR Version: |
1.1 |
|
|
35. log4j1 |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
2 |
Size |
|
8570 LOC, 111 |
Acknowledgements |
|
This bug was originally prepared by Anuradha Pardeshi and Nathaniel
Dykens, and was prepared for submission to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
380 |
SIR Version: |
1.2 |
|
|
36. log4j2 |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
2 |
Size |
|
7951 LOC, 117 |
Acknowledgements |
|
This bug was originally prepared by Anuradha Pardeshi and Nathaniel
Dykens, and was prepared for submission to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
270 |
SIR Version: |
1.2 |
|
|
37. log4j3 |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
2 |
Size |
|
15744 LOC, 175 |
Acknowledgements |
|
This bug was originally prepared by Anuradha Pardeshi and Nathaniel
Dykens, and was prepared for submission to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
277 |
SIR Version: |
1.2 |
|
|
38. loseNotify |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
41 LOC, 4 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
221 |
SIR Version: |
1.1 |
|
|
39. Median |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
37 LOC, 1 |
Acknowledgements |
|
|
|
Updated: |
2014-09-02 |
Downloads: |
163 |
SIR Version: |
1.0 |
|
|
40. minepump__spl |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
580 LOC, 15 |
Acknowledgements |
|
Modified from http://www.infosun.fim.uni-passau.de/spl/hybrid/ |
|
Updated: |
2013-05-15 |
Downloads: |
108 |
SIR Version: |
1.0 |
|
|
41. nanoxml |
|
|
|
Language |
|
Java |
Test Types |
|
TSL |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
6 |
Size |
|
7646 LOC, 24 |
Acknowledgements |
|
|
|
Updated: |
2013-11-01 |
Downloads: |
1767 |
SIR Version: |
1.6 |
|
|
42. nested_monitor |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
52 LOC, 5 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
212 |
SIR Version: |
1.1 |
|
|
43. notepad__spl |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
2074 LOC, 19 |
Acknowledgements |
|
|
|
Updated: |
2013-05-15 |
Downloads: |
110 |
SIR Version: |
1.0 |
|
|
44. OrdSet |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Mutation |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
229 LOC, 2 |
Acknowledgements |
|
Graciously provided by the SQUALL Lab at Carleton University |
|
Updated: |
2009-09-20 |
Downloads: |
413 |
SIR Version: |
1.0 |
|
|
45. piper |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
74 LOC, 4 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
237 |
SIR Version: |
1.1 |
|
|
46. pool1 |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
2 |
Size |
|
1693 LOC, 8 |
Acknowledgements |
|
This bug was prepared and submitted to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
282 |
SIR Version: |
1.2 |
|
|
47. pool2 |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
2 |
Size |
|
1614 LOC, 7 |
Acknowledgements |
|
This bug was prepared and submitted to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
179 |
SIR Version: |
1.2 |
|
|
48. pool3 |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
2 |
Size |
|
2088 LOC, 8 |
Acknowledgements |
|
This bug was prepared and submitted to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
192 |
SIR Version: |
1.2 |
|
|
49. pool4 |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
1866 LOC, 8 |
Acknowledgements |
|
This bug was prepared and submitted to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
149 |
SIR Version: |
1.2 |
|
|
50. pool5 |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
1809 LOC, 8 |
Acknowledgements |
|
This bug was originally prepared by Anuradha Pardeshi and Nathaniel
Dykens, and was prepared for submission to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
148 |
SIR Version: |
1.2 |
|
|
51. pool6 |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
2 |
Size |
|
2043 LOC, 10 |
Acknowledgements |
|
This bug was prepared and submitted to SIR by Yu Lin. |
|
Updated: |
2012-05-12 |
Downloads: |
192 |
SIR Version: |
1.2 |
|
|
52. producer_consumer |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
99 LOC, 8 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
283 |
SIR Version: |
1.1 |
|
|
53. raxextended |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
118 LOC, 11 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
225 |
SIR Version: |
1.1 |
|
|
54. raxextended2 |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
128 LOC, 11 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
179 |
SIR Version: |
1.1 |
|
|
55. readers_writers |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
103 LOC, 6 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
228 |
SIR Version: |
1.1 |
|
|
56. Red-Black-Tree |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
yes |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
334 LOC, 1 |
Acknowledgements |
|
Courtesy of the SAnToS Research Group at Kansas State |
|
Updated: |
2011-07-14 |
Downloads: |
448 |
SIR Version: |
2.0 |
|
|
57. reorder |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
44 LOC, 4 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
262 |
SIR Version: |
1.1 |
|
|
58. replicated_workers |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
342 LOC, 14 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
253 |
SIR Version: |
1.1 |
|
|
59. siena |
|
|
|
Language |
|
Java |
Test Types |
|
TSL |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
8 |
Size |
|
6035 LOC, 26 |
Acknowledgements |
|
|
|
Updated: |
2005-11-23 |
Downloads: |
1201 |
SIR Version: |
0.9 |
|
|
60. sleepingBarber |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
66 LOC, 4 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
222 |
SIR Version: |
1.1 |
|
|
61. Sorting |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
yes |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
130 LOC, 1 |
Acknowledgements |
|
Courtesy of the SAnToS Research Group at Kansas State |
|
Updated: |
2011-07-14 |
Downloads: |
529 |
SIR Version: |
2.0 |
|
|
62. Stack |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
yes |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
114 LOC, 5 |
Acknowledgements |
|
Courtesy of the SAnToS Research Group at Kansas State |
|
Updated: |
2011-07-14 |
Downloads: |
389 |
SIR Version: |
2.0 |
|
|
63. trityp |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
73 LOC, 1 |
Acknowledgements |
|
|
|
Updated: |
2014-09-02 |
Downloads: |
159 |
SIR Version: |
1.0 |
|
|
64. twoStage |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
52 LOC, 5 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
218 |
SIR Version: |
1.1 |
|
|
65. Vector |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
yes |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
254 LOC, 1 |
Acknowledgements |
|
Courtesy of the SAnToS Research Group at Kansas State |
|
Updated: |
2011-07-14 |
Downloads: |
376 |
SIR Version: |
2.0 |
|
|
66. wrongLock |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
yes |
Sequential Versions |
|
1 |
Size |
|
38 LOC, 4 |
Acknowledgements |
|
|
|
Updated: |
2012-03-26 |
Downloads: |
245 |
SIR Version: |
1.1 |
|
|
67. xml-security |
|
|
|
Language |
|
Java |
Test Types |
|
Unit |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
4 |
Size |
|
16800 LOC, 143 |
Acknowledgements |
|
|
|
Updated: |
2014-02-14 |
Downloads: |
1437 |
SIR Version: |
1.4 |
|
|
68. xstream__spl |
|
|
|
Language |
|
Java |
Test Types |
|
None |
Fault Types |
|
|
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
14480 LOC, 509 |
Acknowledgements |
|
Modified from http://xstream.codehaus.org/ |
|
Updated: |
2013-05-15 |
Downloads: |
111 |
SIR Version: |
1.0 |
|