|
1. bash |
|
|
|
Language |
|
C |
Test Types |
|
Ad Hoc |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
6 |
Size |
|
59846 LOC, 1061 |
Acknowledgements |
|
|
|
Updated: |
2006-09-14 |
Downloads: |
1635 |
SIR Version: |
1.0 |
|
|
2. flex |
|
|
|
Language |
|
C |
Test Types |
|
TSL |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
6 |
Size |
|
10459 LOC, 162 |
Acknowledgements |
|
Linux version contributed by Muralikrishna Ramanathan, Purdue University |
|
Updated: |
2006-06-20 |
Downloads: |
4067 |
SIR Version: |
1.1 |
|
|
3. grep |
|
|
|
Language |
|
C |
Test Types |
|
TSL |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
6 |
Size |
|
10068 LOC, 146 |
Acknowledgements |
|
Linux version contributed by Muralikrishna Ramanathan, Purdue University |
|
Updated: |
2005-11-22 |
Downloads: |
3128 |
SIR Version: |
1.2 |
|
|
4. gzip |
|
|
|
Language |
|
C |
Test Types |
|
TSL |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
6 |
Size |
|
5680 LOC, 104 |
Acknowledgements |
|
Linux version contributed by Muralikrishna Ramanathan, Purdue University. Thanks to Ben Liblit, University of Wisconsin, for pointing out numerous corrections. Thanks to Bill Langdon at Kings College for noticing the recursive command line flag changed between versions 3 and 4 and the tests did not accommodate this. |
|
Updated: |
2009-08-18 |
Downloads: |
2136 |
SIR Version: |
1.5 |
|
|
5. make |
|
|
|
Language |
|
C |
Test Types |
|
TSL |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
5 |
Size |
|
35545 LOC, 268 |
Acknowledgements |
|
Ben Liblit, University of Wisconsin for identifying various issues for correction. |
|
Updated: |
2006-03-12 |
Downloads: |
1399 |
SIR Version: |
1.4 |
|
|
6. printtokens |
|
|
|
Language |
|
C |
Test Types |
|
Ad Hoc |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
726 LOC, 18 |
Acknowledgements |
|
Originally created by Tom Ostrand and colleagues at Siemens Corporate Research |
|
Updated: |
2005-08-01 |
Downloads: |
2598 |
SIR Version: |
2.0 |
|
|
7. printtokens2 |
|
|
|
Language |
|
C |
Test Types |
|
Ad Hoc |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
570 LOC, 19 |
Acknowledgements |
|
Originally created by Tom Ostrand and colleagues at Siemens Corporate Research |
|
Updated: |
2005-08-01 |
Downloads: |
1810 |
SIR Version: |
2.0 |
|
|
8. replace |
|
|
|
Language |
|
C |
Test Types |
|
Ad Hoc |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
564 LOC, 21 |
Acknowledgements |
|
Originally created by Tom Ostrand and colleagues at Siemens Corporate Research |
|
Updated: |
2005-08-01 |
Downloads: |
2288 |
SIR Version: |
2.1 |
|
|
9. schedule |
|
|
|
Language |
|
C |
Test Types |
|
Ad Hoc |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
412 LOC, 18 |
Acknowledgements |
|
Originally created by Tom Ostrand and colleagues at Siemens Corporate Research |
|
Updated: |
2005-08-01 |
Downloads: |
1961 |
SIR Version: |
2.0 |
|
|
10. schedule2 |
|
|
|
Language |
|
C |
Test Types |
|
Ad Hoc |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
374 LOC, 16 |
Acknowledgements |
|
Originally created by Tom Ostrand and colleagues at Siemens Corporate Research |
|
Updated: |
2005-08-01 |
Downloads: |
1561 |
SIR Version: |
2.0 |
|
|
11. sed |
|
|
|
Language |
|
C |
Test Types |
|
TSL, Ad Hoc |
Fault Types |
|
Real, Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
8 |
Size |
|
14427 LOC, 255 |
Acknowledgements |
|
Linux patches contributed by Ben Liblit, University of Wisconsin. |
|
Updated: |
2006-09-19 |
Downloads: |
1513 |
SIR Version: |
2.0 |
|
|
12. space |
|
|
|
Language |
|
C |
Test Types |
|
Ad Hoc |
Fault Types |
|
Real |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
6199 LOC, 136 |
Acknowledgements |
|
|
|
Updated: |
2005-08-01 |
Downloads: |
2153 |
SIR Version: |
2.0 |
|
|
13. tcas |
|
|
|
Language |
|
C |
Test Types |
|
Ad Hoc |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
173 LOC, 9 |
Acknowledgements |
|
Originally created by Tom Ostrand and colleagues at Siemens Corporate Research |
|
Updated: |
2005-08-01 |
Downloads: |
2668 |
SIR Version: |
2.0 |
|
|
14. totinfo |
|
|
|
Language |
|
C |
Test Types |
|
Ad Hoc |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
565 LOC, 7 |
Acknowledgements |
|
Originally created by Tom Ostrand and colleagues at Siemens Corporate Research |
|
Updated: |
2005-08-01 |
Downloads: |
2409 |
SIR Version: |
2.0 |
|
|
15. vim |
|
|
|
Language |
|
C |
Test Types |
|
Ad Hoc |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
8 |
Size |
|
122169 LOC, 1999 |
Acknowledgements |
|
|
|
Updated: |
2006-09-14 |
Downloads: |
885 |
SIR Version: |
1.0 |
|
|
16. 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: |
1498 |
SIR Version: |
1.1 |
|
|
17. 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: |
560 |
SIR Version: |
1.1 |
|
|
18. 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: |
802 |
SIR Version: |
1.1 |
|
|
19. 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: |
743 |
SIR Version: |
1.1 |
|
|
20. 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: |
418 |
SIR Version: |
1.1 |
|
|
21. 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: |
1681 |
SIR Version: |
1.0 |
|
|
22. 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: |
387 |
SIR Version: |
1.0 |
|
|
23. 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: |
674 |
SIR Version: |
2.0 |
|
|
24. 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 |
|
|
25. 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 |
|
|
26. 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: |
378 |
SIR Version: |
1.1 |
|
|
27. 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: |
363 |
SIR Version: |
1.1 |
|
|
28. 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: |
764 |
SIR Version: |
1.0 |
|
|
29. 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 |
|
|
30. 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 |
|
|
31. 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 |
|
|
32. 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: |
357 |
SIR Version: |
1.0 |
|
|
33. 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: |
358 |
SIR Version: |
1.1 |
|
|
34. 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 |
|
|
35. 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 |
|
|
36. 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 |
|
|
37. 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 |
|
|
38. 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: |
180 |
SIR Version: |
1.0 |
|
|
39. 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 |
|
|
40. 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 |
|
|
41. 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 |
|
|
42. 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: |
279 |
SIR Version: |
1.0 |
|
|
43. 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 |
|
|
44. 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 |
|
|
45. 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: |
754 |
SIR Version: |
1.2 |
|
|
46. 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: |
2226 |
SIR Version: |
1.0 |
|
|
47. 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 |
|
|
48. 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 |
|
|
49. 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 |
|
|
50. 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: |
378 |
SIR Version: |
1.2 |
|
|
51. 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: |
269 |
SIR Version: |
1.2 |
|
|
52. 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: |
276 |
SIR Version: |
1.2 |
|
|
53. 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 |
|
|
54. 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 |
|
|
55. 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 |
|
|
56. 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: |
1763 |
SIR Version: |
1.6 |
|
|
57. 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 |
|
|
58. 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 |
|
|
59. 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 |
|
|
60. 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 |
|
|
61. 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 |
|
|
62. 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 |
|
|
63. 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 |
|
|
64. 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 |
|
|
65. 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 |
|
|
66. 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 |
|
|
67. 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 |
|
|
68. 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 |
|
|
69. 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 |
|
|
70. 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 |
|
|
71. 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 |
|
|
72. 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 |
|
|
73. 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 |
|
|
74. 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: |
1200 |
SIR Version: |
0.9 |
|
|
75. 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 |
|
|
76. 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 |
|
|
77. 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 |
|
|
78. 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: |
158 |
SIR Version: |
1.0 |
|
|
79. 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 |
|
|
80. 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 |
|
|
81. 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: |
244 |
SIR Version: |
1.1 |
|
|
82. 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 |
|
|
83. 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 |
|
|
84. tcas-csharp |
|
|
|
Language |
|
C# |
Test Types |
|
TSL |
Fault Types |
|
Seeded |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
41 |
Size |
|
141 LOC, 1 |
Acknowledgements |
|
A port of the original Siemens tcas application to C# |
|
Updated: |
2011-03-30 |
Downloads: |
346 |
SIR Version: |
1.0 |
|
|
85. concordance |
|
|
|
Language |
|
C++ |
Test Types |
|
TSL |
Fault Types |
|
Seeded, Mutation |
Invariant Subject |
|
no |
Concurrency Subject
| |
no |
Sequential Versions |
|
1 |
Size |
|
1034 LOC, 5 |
Acknowledgements |
|
|
|
Updated: |
2013-03-15 |
Downloads: |
311 |
SIR Version: |
1.0 |
|