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:	1635
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:	4067
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:	3128
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:	2136
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:	1399
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:	2598
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:	1810
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:	2288
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:	1961
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:	1561
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:	1513
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:	2153
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:	2668
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:	2409
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:	885
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:	1498
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:	560
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:	802
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:	743
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:	418
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:	1681
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:	387
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:	674
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:	491
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:	759
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:	378
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:	363
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:	764
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:	522
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:	367
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:	422
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:	357
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:	358
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:	415
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:	434
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:	831
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:	568
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:	180
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:	166
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:	142
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:	363
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:	279
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:	444
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:	1111
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:	754
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:	2226
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:	173
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:	396
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:	410
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:	378
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:	269
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:	276
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:	221
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:	163
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:	108
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:	1763
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:	212
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:	110
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:	413
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:	237
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:	282
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:	179
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:	192
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:	149
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:	148
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:	192
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:	283
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:	225
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:	179
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:	228
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:	448
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:	262
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:	253
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:	1200
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:	222
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:	529
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:	389
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:	158
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:	218
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:	376
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:	244
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:	1437
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:	111
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:	346
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:	311
SIR Version:	1.0

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