Software-artifact Infrastructure Repository: Object Downloads

1. bash

Download: sun | linux

*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:	1671
SIR Version:	1.0

2. flex

Download: sun | linux

*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:	4105
SIR Version:	1.1

3. grep

Download: sun | linux

*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:	3167
SIR Version:	1.2

4. gzip

Download: sun | linux

*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:	2165
SIR Version:	1.5

5. make

Download: sun

*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:	1411
SIR Version:	1.4

6. printtokens

Download: sun

*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:	2644
SIR Version:	2.0

7. printtokens2

Download: sun

*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:	1833
SIR Version:	2.0

8. replace

Download: sun

*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:	2314
SIR Version:	2.1

9. schedule

Download: sun

*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:	1999
SIR Version:	2.0

10. schedule2

Download: sun

*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:	1588
SIR Version:	2.0

11. sed

Download: sun | linux

*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:	1530
SIR Version:	2.0

12. space

Download: sun

*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:	2172
SIR Version:	2.0

13. tcas

Download: sun

*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:	2736
SIR Version:	2.0

14. totinfo

Download: sun

*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:	2431
SIR Version:	2.0

15. vim

Download: sun

*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:	890
SIR Version:	1.0

16. account

Download: all platforms

*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:	1522
SIR Version:	1.1

17. accountsubtype

Download: all platforms

*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:	568
SIR Version:	1.1

18. airline

Download: all platforms

*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:	815
SIR Version:	1.1

19. alarm_clock

Download: all platforms

*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:	754
SIR Version:	1.1

20. allocationVector

Download: all platforms

*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:	426
SIR Version:	1.1

21. ant

Download: all platforms

*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:	1697
SIR Version:	1.0

22. Apollo

Download: all platforms

*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:	396
SIR Version:	1.0

23. Array-Partition

Download: all platforms

*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:	678
SIR Version:	2.0

24. Binary-Heap

Download: all platforms

*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:	494
SIR Version:	2.0

25. Binary-Search-Tree

Download: all platforms

*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:	763
SIR Version:	2.0

26. boundedBuffer

Download: all platforms

*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:	387
SIR Version:	1.1

27. clean

Download: all platforms

*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:	369
SIR Version:	1.1

28. Cruise Control

Download: all platforms

*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:	773
SIR Version:	1.0

29. daisy

Download: all platforms

*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:	531
SIR Version:	1.1

30. deadlock

Download: all platforms

*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:	374
SIR Version:	1.1

31. deos

Download: all platforms

*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:	428
SIR Version:	1.1

32. Derby

Download: all platforms

*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:	362
SIR Version:	1.0

33. diningPhilosophers

Download: all platforms

*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:	368
SIR Version:	1.1

34. Disjoint-Set

Download: all platforms

*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:	418
SIR Version:	2.0

35. Doubly-Linked-List

Download: all platforms

*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:	436
SIR Version:	2.0

36. Elevator

Download: all platforms

*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:	837
SIR Version:	1.0

37. elevator

Download: all platforms

*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:	576
SIR Version:	1.1

38. elevator__spl

Download: all platforms

*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:	183
SIR Version:	1.0

39. email__spl

Download: all platforms

*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:	169
SIR Version:	1.0

40. galileo

Download: all platforms

*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*		16
*Size*		15200 LOC, 79 Classes (27,132,623 total bytes)
*Acknowledgements*

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

41. GPL__spl

Download: all platforms

*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:	145
SIR Version:	1.0

42. GraphSPL

Download: all platforms

*Language*		Java
*Test Types*		Ad Hoc
*Fault Types*		Seeded
*Fault Matrices*		yes
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		yes
*Concise Packaging*		no
*Sequential Versions*		38
*Size*		419 LOC, 12 Classes (22,195,267 total bytes)
*Acknowledgements*

Updated:	2010-10-20
Downloads:	6
SIR Version:	1.0

43. groovy

Download: all platforms

*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:	367
SIR Version:	1.2

44. JaConTeBe

Download: all platforms

*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:	306
SIR Version:	1.0

45. javamycollab

Download: all platforms

*Language*		Java
*Test Types*		Ad Hoc
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		yes
*Sequential Versions*		22
*Size*		150275 LOC, 1268 Classes (3,684,304,006 total bytes)
*Acknowledgements*		A concise packaged subject originally from https://sourceforge.net/projects/mycollab with current development at https://github.com/MyCollab/mycollab

Updated:	2018-10-31
Downloads:	2
SIR Version:	1.0

46. jboss

Download: all platforms

*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:	449
SIR Version:	1.0

47. jmeter

Download: all platforms

*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:	1120
SIR Version:	1.0

48. jtcas

Download: all platforms

*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:	762
SIR Version:	1.2

49. jtopas

Download: all platforms

*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:	2237
SIR Version:	1.0

50. jtopas__spl

Download: all platforms

*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:	176
SIR Version:	1.0

51. lang

Download: all platforms

*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:	399
SIR Version:	1.2

52. linkedlist

Download: all platforms

*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:	414
SIR Version:	1.1

53. log4j1

Download: all platforms

*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:	383
SIR Version:	1.2

54. log4j2

Download: all platforms

*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:	272
SIR Version:	1.2

55. log4j3

Download: all platforms

*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:	280
SIR Version:	1.2

56. loseNotify

Download: all platforms

*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:	225
SIR Version:	1.1

57. Median

Download: all platforms

*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:	166
SIR Version:	1.0

58. minepump__spl

Download: all platforms

*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:	111
SIR Version:	1.0

59. mobilemedia

Download: all platforms

*Language*		Java
*Test Types*		Ad Hoc
*Fault Types*		Real
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		yes
*Concise Packaging*		no
*Sequential Versions*		7
*Size*		1227 LOC, 52 Classes (312,958,769 total bytes)
*Acknowledgements*		Original source obtained from sourceforge.net/projects/mobilemedia with test scripts created by W. Motycka using the Abbot (sourceforge.net/projects/abbot) library and MicroEmulator (microemulator.sourceforge.net) mobile phone simulator.

Updated:	2018-09-27
Downloads:	1
SIR Version:	0.1

60. nanoxml

Download: all platforms

*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:	1773
SIR Version:	1.6

61. nested_monitor

Download: all platforms

*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:	217
SIR Version:	1.1

62. notepad__spl

Download: all platforms

*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:	113
SIR Version:	1.0

63. OrdSet

Download: all platforms

*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:	418
SIR Version:	1.0

64. piper

Download: all platforms

*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:	241
SIR Version:	1.1

65. pool1

Download: all platforms

*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:	285
SIR Version:	1.2

66. pool2

Download: all platforms

*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:	182
SIR Version:	1.2

67. pool3

Download: all platforms

*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:	195
SIR Version:	1.2

68. pool4

Download: all platforms

*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:	152
SIR Version:	1.2

69. pool5

Download: all platforms

*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:	151
SIR Version:	1.2

70. pool6

Download: all platforms

*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:	195
SIR Version:	1.2

71. producer_consumer

Download: all platforms

*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:	287
SIR Version:	1.1

72. raxextended

Download: all platforms

*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:	229
SIR Version:	1.1

73. raxextended2

Download: all platforms

*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:	182
SIR Version:	1.1

74. readers_writers

Download: all platforms

*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:	232
SIR Version:	1.1

75. Red-Black-Tree

Download: all platforms

*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:	451
SIR Version:	2.0

76. reorder

Download: all platforms

*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:	266
SIR Version:	1.1

77. replicated_workers

Download: all platforms

*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:	258
SIR Version:	1.1

78. siena

Download: all platforms

*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:	1207
SIR Version:	0.9

79. sleepingBarber

Download: all platforms

*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:	226
SIR Version:	1.1

80. Sorting

Download: all platforms

*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:	532
SIR Version:	2.0

81. Stack

Download: all platforms

*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:	392
SIR Version:	2.0

82. trityp

Download: all platforms

*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:	162
SIR Version:	1.0

83. twoStage

Download: all platforms

*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:	222
SIR Version:	1.1

84. Vector

Download: all platforms

*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:	380
SIR Version:	2.0

85. wrongLock

Download: all platforms

*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:	248
SIR Version:	1.1

86. xml-security

Download: all platforms

*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:	1443
SIR Version:	1.4

87. xstream__spl

Download: all platforms

*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:	114
SIR Version:	1.0

88. tcas-csharp

Download: Linux

*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:	349
SIR Version:	1.0

89. concordance

Download: Linux

*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:	317
SIR Version:	1.0

90. mymovielibrary

Download: all platforms

*Language*		Python
*Test Types*		Ad Hoc
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		20
*Size*		371 LOC, 13 Classes (129,584,859 total bytes)
*Acknowledgements*		Original source from https://github.com/ndbills/MyMovieLibrary

Updated:	2018-10-30
Downloads:	3
SIR Version:	1.1

91. dolibarr

Download: all platforms

*Language*		PHP
*Test Types*		Ad Hoc
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		30
*Size*		389855 LOC, 1260 Classes (898,687,376 total bytes)
*Acknowledgements*		Original source from https://sourceforge.net/projects/dolibarr

Updated:	2018-10-10
Downloads:	3
SIR Version:	1.1

92. joomla

Download: all platforms

*Language*		PHP
*Test Types*		Ad Hoc
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		83
*Size*		118086 LOC, 995 Classes (470,485,093 total bytes)
*Acknowledgements*		Original source from https://joomla.org/download

Updated:	2018-10-31
Downloads:	2
SIR Version:	1.0

93. phpaddressbook

Download: all platforms

*Language*		PHP
*Test Types*		Ad Hoc
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		109
*Size*		2688 LOC, 36 Classes (94,789,880 total bytes)
*Acknowledgements*		Original source from https://sourceforge.net/projects/php-addressbook

Updated:	2018-10-10
Downloads:	2
SIR Version:	1.1

94. phpagenda

Download: all platforms

*Language*		PHP
*Test Types*		Ad Hoc
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		29
*Size*		5993 LOC, 19 Classes (4,288,206 total bytes)
*Acknowledgements*		Original source from https://sourceforge.net/projects/php-agenda

Updated:	2018-09-11
Downloads:	2
SIR Version:	1.1

95. phpfusion

Download: all platforms

*Language*		PHP
*Test Types*		Ad Hoc
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		41
*Size*		38930 LOC, 722 Classes (110,559,832 total bytes)
*Acknowledgements*		Original source from https://sourceforge.net/project/php-fusion

Updated:	2018-09-27
Downloads:	2
SIR Version:	1.1

96. yourcontacts

Download: all platforms

*Language*		PHP
*Test Types*		Ad Hoc
*Fault Types*
*Fault Matrices*		no
*Invariant Subject*		no
*Concurrency Subject*		no
*Product Line Subject*		no
*Concise Packaging*		no
*Sequential Versions*		47
*Size*		24928 LOC, 155 Classes (124,974,801 total bytes)
*Acknowledgements*		Original source from https://github.com/jubi4dition/yourcontacts/

Updated:	2018-10-18
Downloads:	2
SIR Version:	1.1