Subject Infrastructure Repository

1. bash

Download:

*Language*		C
*Test Types*		Ad Hoc
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		6
*Size*		59846 LOC, 1061 Procedures (32,274,830 total bytes)
*Acknowledgements*

Updated:	2006-09-14
Downloads:	1625
SIR Version:	1.0

2. flex

Download:

*Language*		C
*Test Types*		TSL
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		6
*Size*		10459 LOC, 162 Procedures (4,039,890 total bytes)
*Acknowledgements*		Linux version contributed by Muralikrishna Ramanathan, Purdue University

Updated:	2006-06-20
Downloads:	4050
SIR Version:	1.1

3. grep

Download:

*Language*		C
*Test Types*		TSL
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		6
*Size*		10068 LOC, 146 Procedures (1,793,664 total bytes)
*Acknowledgements*		Linux version contributed by Muralikrishna Ramanathan, Purdue University

Updated:	2005-11-22
Downloads:	3114
SIR Version:	1.2

4. gzip

Download:

*Language*		C
*Test Types*		TSL
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		6
*Size*		5680 LOC, 104 Procedures (5,762,460 total bytes)
*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:	2120
SIR Version:	1.5

5. make

Download:

*Language*		C
*Test Types*		TSL
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		5
*Size*		35545 LOC, 268 Procedures (78,145,410 total bytes)
*Acknowledgements*		Ben Liblit, University of Wisconsin for identifying various issues for correction.

Updated:	2006-03-12
Downloads:	1391
SIR Version:	1.4

6. printtokens

Download:

*Language*		C
*Test Types*		Ad Hoc
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		726 LOC, 18 Procedures (20,934,932 total bytes)
*Acknowledgements*		Originally created by Tom Ostrand and colleagues at Siemens Corporate Research

Updated:	2005-08-01
Downloads:	2583
SIR Version:	2.0

7. printtokens2

Download:

*Language*		C
*Test Types*		Ad Hoc
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		570 LOC, 19 Procedures (20,088,511 total bytes)
*Acknowledgements*		Originally created by Tom Ostrand and colleagues at Siemens Corporate Research

Updated:	2005-08-01
Downloads:	1796
SIR Version:	2.0

8. replace

Download:

*Language*		C
*Test Types*		Ad Hoc
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		564 LOC, 21 Procedures (97,490,757 total bytes)
*Acknowledgements*		Originally created by Tom Ostrand and colleagues at Siemens Corporate Research

Updated:	2005-08-01
Downloads:	2271
SIR Version:	2.1

9. schedule

Download:

*Language*		C
*Test Types*		Ad Hoc
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		412 LOC, 18 Procedures (15,692,125 total bytes)
*Acknowledgements*		Originally created by Tom Ostrand and colleagues at Siemens Corporate Research

Updated:	2005-08-01
Downloads:	1947
SIR Version:	2.0

10. schedule2

Download:

*Language*		C
*Test Types*		Ad Hoc
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		374 LOC, 16 Procedures (17,836,149 total bytes)
*Acknowledgements*		Originally created by Tom Ostrand and colleagues at Siemens Corporate Research

Updated:	2005-08-01
Downloads:	1547
SIR Version:	2.0

11. sed

Download:

*Language*		C
*Test Types*		TSL, Ad Hoc
*Fault Types*		Real, Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		8
*Size*		14427 LOC, 255 Procedures (4,817,653 total bytes)
*Acknowledgements*		Linux patches contributed by Ben Liblit, University of Wisconsin.

Updated:	2006-09-19
Downloads:	1502
SIR Version:	2.0

12. space

Download:

*Language*		C
*Test Types*		Ad Hoc
*Fault Types*		Real
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		6199 LOC, 136 Procedures (268,950,867 total bytes)
*Acknowledgements*

Updated:	2005-08-01
Downloads:	2141
SIR Version:	2.0

13. tcas

Download:

*Language*		C
*Test Types*		Ad Hoc
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		173 LOC, 9 Procedures (4,410,170 total bytes)
*Acknowledgements*		Originally created by Tom Ostrand and colleagues at Siemens Corporate Research

Updated:	2005-08-01
Downloads:	2649
SIR Version:	2.0

14. totinfo

Download:

*Language*		C
*Test Types*		Ad Hoc
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		565 LOC, 7 Procedures (4,095,600 total bytes)
*Acknowledgements*		Originally created by Tom Ostrand and colleagues at Siemens Corporate Research

Updated:	2005-08-01
Downloads:	2397
SIR Version:	2.0

15. vim

Download:

*Language*		C
*Test Types*		Ad Hoc
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		8
*Size*		122169 LOC, 1999 Procedures (40,795,023 total bytes)
*Acknowledgements*

Updated:	2006-09-14
Downloads:	877
SIR Version:	1.0

16. account

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		66 LOC, 3 Classes (4,809 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	1488
SIR Version:	1.1

17. accountsubtype

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		89 LOC, 6 Classes (4,811 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	555
SIR Version:	1.1

18. airline

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		31 LOC, 2 Classes (4,408 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	798
SIR Version:	1.1

19. alarm_clock

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		125 LOC, 6 Classes (6,426 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	739
SIR Version:	1.1

20. allocationVector

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		87 LOC, 3 Classes (6,446 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	413
SIR Version:	1.1

21. ant

Download:

*Language*		Java
*Test Types*		Unit
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		11
*Size*		80500 LOC, 627 Classes (148,256,064 total bytes)
*Acknowledgements*

Updated:	2005-11-22
Downloads:	1675
SIR Version:	1.0

22. Apollo

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		yes
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		4109 LOC, 55 Classes (16,815 total bytes)
*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:	384
SIR Version:	1.0

23. Array-Partition

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		yes
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		13 LOC, 1 Classes (1,146,919 total bytes)
*Acknowledgements*		Courtesy of the SAnToS Research Group at Kansas State

Updated:	2011-07-14
Downloads:	672
SIR Version:	2.0

24. Binary-Heap

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		yes
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		72 LOC, 2 Classes (1,037,647 total bytes)
*Acknowledgements*		Courtesy of the SAnToS Research Group at Kansas State

Updated:	2011-07-14
Downloads:	489
SIR Version:	2.0

25. Binary-Search-Tree

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		yes
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		130 LOC, 4 Classes (1,187,503 total bytes)
*Acknowledgements*		Courtesy of the SAnToS Research Group at Kansas State

Updated:	2011-07-14
Downloads:	757
SIR Version:	2.0

26. boundedBuffer

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		65 LOC, 5 Classes (4,404 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	372
SIR Version:	1.1

27. clean

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		51 LOC, 4 Classes (3,884 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	359
SIR Version:	1.1

28. Cruise Control

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Mutation
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		261 LOC, 4 Classes (436,199 total bytes)
*Acknowledgements*		Graciously provided by the SQUALL Lab at Carleton University

Updated:	2009-09-21
Downloads:	762
SIR Version:	1.0

29. daisy

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		883 LOC, 22 Classes (16,796 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	518
SIR Version:	1.1

30. deadlock

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		24 LOC, 4 Classes (4,389 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	361
SIR Version:	1.1

31. deos

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		838 LOC, 24 Classes (16,223 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	418
SIR Version:	1.1

32. Derby

Download:

*Language*		Java
*Test Types*		Unit
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		5
*Size*		503833 LOC, 1967 Classes (1,932,002,488 total bytes)
*Acknowledgements*

Updated:	2009-08-10
Downloads:	354
SIR Version:	1.0

33. diningPhilosophers

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		27 LOC, 3 Classes (4,070 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	354
SIR Version:	1.1

34. Disjoint-Set

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		yes
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		35 LOC, 1 Classes (1,004,390 total bytes)
*Acknowledgements*		Courtesy of the SAnToS Research Group at Kansas State

Updated:	2011-07-14
Downloads:	413
SIR Version:	2.0

35. Doubly-Linked-List

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		yes
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		277 LOC, 1 Classes (1,038,693 total bytes)
*Acknowledgements*		Courtesy of the SAnToS Research Group at Kansas State

Updated:	2011-07-14
Downloads:	432
SIR Version:	2.0

36. Elevator

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Mutation
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		580 LOC, 8 Classes (1,029,168 total bytes)
*Acknowledgements*		Graciously provided by the SQUALL Lab at Carleton University

Updated:	2009-09-21
Downloads:	827
SIR Version:	1.0

37. elevator

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		934 LOC, 12 Classes (11,212 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	562
SIR Version:	1.1

38. elevator__spl

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		yes
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		1046 LOC, 17 Classes (4,600,046 total bytes)
*Acknowledgements*		Modified from http://www.infosun.fim.uni-passau.de/spl/hybrid/

Updated:	2013-05-15
Downloads:	178
SIR Version:	1.0

39. email__spl

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		yes
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		1233 LOC, 17 Classes (4,556,949 total bytes)
*Acknowledgements*		Modified from http://www.infosun.fim.uni-passau.de/spl/hybrid/

Updated:	2013-05-15
Downloads:	164
SIR Version:	1.0

40. GPL__spl

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		yes
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		1713 LOC, 111 Classes (3,911,348 total bytes)
*Acknowledgements*		Graph generator is taken from http://graphstream-project.org/

Updated:	2013-05-15
Downloads:	140
SIR Version:	1.0

41. groovy

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		2
*Size*		361 LOC, 2 Classes (5,881 total bytes)
*Acknowledgements*		This bug was originally prepared by Vilas Jagannath, and was prepared for submission to SIR by Yu Lin.

Updated:	2012-05-12
Downloads:	359
SIR Version:	1.2

42. JaConTeBe

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		6550 LOC, 88 Classes (92,797,184 total bytes)
*Acknowledgements*

Updated:	2015-01-30
Downloads:	269
SIR Version:	1.0

43. jboss

Download:

*Language*		Java
*Test Types*		Unit
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		10
*Size*		116638 LOC, 1126 Classes (1,062,078,261 total bytes)
*Acknowledgements*

Updated:	2009-03-26
Downloads:	440
SIR Version:	1.0

44. jmeter

Download:

*Language*		Java
*Test Types*		Unit
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		7
*Size*		43400 LOC, 389 Classes (103,596,798 total bytes)
*Acknowledgements*

Updated:	2005-11-22
Downloads:	1108
SIR Version:	1.0

45. jtcas

Download:

*Language*		Java
*Test Types*		TSL
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		169 LOC, 1 Classes (8,296,823 total bytes)
*Acknowledgements*		A port of the original Siemens tcas application into Java

Updated:	2012-05-11
Downloads:	750
SIR Version:	1.2

46. jtopas

Download:

*Language*		Java
*Test Types*		Unit
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		4
*Size*		5400 LOC, 50 Classes (1,202,051 total bytes)
*Acknowledgements*

Updated:	2005-11-22
Downloads:	2222
SIR Version:	1.0

47. jtopas__spl

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		yes
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		2031 LOC, 71 Classes (3,008,876 total bytes)
*Acknowledgements*		Modified from http://jtopas.sourceforge.net/jtopas/

Updated:	2013-05-15
Downloads:	171
SIR Version:	1.0

48. lang

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		2
*Size*		990 LOC, 4 Classes (26,312 total bytes)
*Acknowledgements*		This bug was originally prepared by Qingzhou Luo, and was prepared for submission to SIR by Yu Lin.

Updated:	2012-05-12
Downloads:	392
SIR Version:	1.2

49. linkedlist

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		121 LOC, 5 Classes (5,287 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	407
SIR Version:	1.1

50. log4j1

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		2
*Size*		8570 LOC, 111 Classes (727,670 total bytes)
*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:	371
SIR Version:	1.2

51. log4j2

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		2
*Size*		7951 LOC, 117 Classes (680,861 total bytes)
*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:	262
SIR Version:	1.2

52. log4j3

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		2
*Size*		15744 LOC, 175 Classes (965,935 total bytes)
*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:	271
SIR Version:	1.2

53. loseNotify

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		41 LOC, 4 Classes (20,364 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	217
SIR Version:	1.1

54. Median

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		37 LOC, 1 Classes (2,047 total bytes)
*Acknowledgements*

Updated:	2014-09-02
Downloads:	161
SIR Version:	1.0

55. minepump__spl

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		yes
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		580 LOC, 15 Classes (4,516,986 total bytes)
*Acknowledgements*		Modified from http://www.infosun.fim.uni-passau.de/spl/hybrid/

Updated:	2013-05-15
Downloads:	106
SIR Version:	1.0

56. nanoxml

Download:

*Language*		Java
*Test Types*		TSL
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		6
*Size*		7646 LOC, 24 Classes (3,443,441 total bytes)
*Acknowledgements*

Updated:	2013-11-01
Downloads:	1755
SIR Version:	1.6

57. nested_monitor

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		52 LOC, 5 Classes (4,559 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	208
SIR Version:	1.1

58. notepad__spl

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		yes
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		2074 LOC, 19 Classes (4,352,430 total bytes)
*Acknowledgements*

Updated:	2013-05-15
Downloads:	108
SIR Version:	1.0

59. OrdSet

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Mutation
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		229 LOC, 2 Classes (566,892 total bytes)
*Acknowledgements*		Graciously provided by the SQUALL Lab at Carleton University

Updated:	2009-09-20
Downloads:	411
SIR Version:	1.0

60. piper

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		74 LOC, 4 Classes (4,413 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	233
SIR Version:	1.1

61. pool1

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		2
*Size*		1693 LOC, 8 Classes (58,351 total bytes)
*Acknowledgements*		This bug was prepared and submitted to SIR by Yu Lin.

Updated:	2012-05-12
Downloads:	276
SIR Version:	1.2

62. pool2

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		2
*Size*		1614 LOC, 7 Classes (51,943 total bytes)
*Acknowledgements*		This bug was prepared and submitted to SIR by Yu Lin.

Updated:	2012-05-12
Downloads:	173
SIR Version:	1.2

63. pool3

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		2
*Size*		2088 LOC, 8 Classes (70,207 total bytes)
*Acknowledgements*		This bug was prepared and submitted to SIR by Yu Lin.

Updated:	2012-05-12
Downloads:	187
SIR Version:	1.2

64. pool4

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		1866 LOC, 8 Classes (32,851 total bytes)
*Acknowledgements*		This bug was prepared and submitted to SIR by Yu Lin.

Updated:	2012-05-12
Downloads:	144
SIR Version:	1.2

65. pool5

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		1809 LOC, 8 Classes (32,974 total bytes)
*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:	144
SIR Version:	1.2

66. pool6

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		2
*Size*		2043 LOC, 10 Classes (64,998 total bytes)
*Acknowledgements*		This bug was prepared and submitted to SIR by Yu Lin.

Updated:	2012-05-12
Downloads:	187
SIR Version:	1.2

67. producer_consumer

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		99 LOC, 8 Classes (4,649 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	280
SIR Version:	1.1

68. raxextended

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		118 LOC, 11 Classes (4,587 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	222
SIR Version:	1.1

69. raxextended2

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		128 LOC, 11 Classes (4,587 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	176
SIR Version:	1.1

70. readers_writers

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		103 LOC, 6 Classes (4,759 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	225
SIR Version:	1.1

71. Red-Black-Tree

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		yes
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		334 LOC, 1 Classes (1,285,404 total bytes)
*Acknowledgements*		Courtesy of the SAnToS Research Group at Kansas State

Updated:	2011-07-14
Downloads:	445
SIR Version:	2.0

72. reorder

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		44 LOC, 4 Classes (3,904 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	259
SIR Version:	1.1

73. replicated_workers

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		342 LOC, 14 Classes (8,790 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	250
SIR Version:	1.1

74. siena

Download:

*Language*		Java
*Test Types*		TSL
*Fault Types*		Seeded
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		8
*Size*		6035 LOC, 26 Classes (898,602 total bytes)
*Acknowledgements*

Updated:	2005-11-23
Downloads:	1198
SIR Version:	0.9

75. sleepingBarber

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		66 LOC, 4 Classes (4,177 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	219
SIR Version:	1.1

76. Sorting

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		yes
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		130 LOC, 1 Classes (1,156,248 total bytes)
*Acknowledgements*		Courtesy of the SAnToS Research Group at Kansas State

Updated:	2011-07-14
Downloads:	525
SIR Version:	2.0

77. Stack

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		yes
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		114 LOC, 5 Classes (1,014,134 total bytes)
*Acknowledgements*		Courtesy of the SAnToS Research Group at Kansas State

Updated:	2011-07-14
Downloads:	387
SIR Version:	2.0

78. trityp

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		73 LOC, 1 Classes (2,778 total bytes)
*Acknowledgements*

Updated:	2014-09-02
Downloads:	156
SIR Version:	1.0

79. twoStage

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		52 LOC, 5 Classes (4,144 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	215
SIR Version:	1.1

80. Vector

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		yes
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		254 LOC, 1 Classes (1,027,446 total bytes)
*Acknowledgements*		Courtesy of the SAnToS Research Group at Kansas State

Updated:	2011-07-14
Downloads:	373
SIR Version:	2.0

81. wrongLock

Download:

*Language*		Java
*Test Types*		None
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		yes
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		38 LOC, 4 Classes (3,867 total bytes)
*Acknowledgements*

Updated:	2012-03-26
Downloads:	240
SIR Version:	1.1

82. xml-security

Download:

*Language*		Java
*Test Types*		Unit
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		4
*Size*		16800 LOC, 143 Classes (35,866,066 total bytes)
*Acknowledgements*

Updated:	2014-02-14
Downloads:	1432
SIR Version:	1.4

83. xstream__spl

Download:

*Language*		Java
*Test Types*		None
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		yes
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		14480 LOC, 509 Classes (13,422,755 total bytes)
*Acknowledgements*		Modified from http://xstream.codehaus.org/

Updated:	2013-05-15
Downloads:	109
SIR Version:	1.0

84. tcas-csharp

Download:

*Language*		C#
*Test Types*		TSL
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		41
*Size*		141 LOC, 1 Classes (3,460,664 total bytes)
*Acknowledgements*		A port of the original Siemens tcas application to C#

Updated:	2011-03-30
Downloads:	344
SIR Version:	1.0

85. concordance

Download:

*Language*		C++
*Test Types*		TSL
*Fault Types*		Seeded, Mutation
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		1
*Size*		1034 LOC, 5 Classes (6,773,150 total bytes)
*Acknowledgements*

Updated:	2013-03-15
Downloads:	308
SIR Version:	1.0

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