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:	1650
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:	4079
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:	3143
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:	2148
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:	1404
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:	2618
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:	1820
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:	2296
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:	1970
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:	1569
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:	1517
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:	2158
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:	2689
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:	2416
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:	886
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:	1511
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:	564
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:	809
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:	748
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:	421
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:	1687
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:	392
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:	677
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:	492
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:	761
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:	380
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:	365
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:	766
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:	523
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:	368
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:	423
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:	359
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:	365
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:	416
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:	435
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:	832
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:	569
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:	182
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:	167
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:	143
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:	364
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:	289
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:	445
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:	1112
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:	757
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:	2229
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:	174
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:	397
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:	411
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:	381
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:	271
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:	278
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:	222
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:	164
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:	109
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:	1768
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:	213
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:	111
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:	414
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:	238
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:	283
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:	180
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:	193
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:	150
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:	149
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:	193
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:	284
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:	226
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:	180
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:	230
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:	449
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:	263
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:	254
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:	1202
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:	223
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:	530
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:	390
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:	160
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:	219
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:	378
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:	246
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:	1438
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:	113
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:	312
SIR Version:	1.0

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