Subject Infrastructure Repository

3
Get Access!
 
Home
SIR Software Objects
 
SIR Users and Publications
Frequently Asked Questions
Repository License
 
Acknowledgments
Search for Objects
 
   
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: 2287
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

 

Try the following link to upgrade the page display. (Explanation)