Subject Infrastructure Repository

Get Access!
 
Home
SIR Software Objects
 
SIR Users and Publications
Frequently Asked Questions
Repository License
 
Acknowledgments
Search for Objects
TSL tests Unit tests Other tests
Real Seeded Mutation
JML Invariants
 
   

1. bash      
Language   C
Test Types   other, expect
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   6
Size   59846 LOC, 1061 procedures
Acknowledgements  
Updated: 2006-09-14
Downloads: 87
SIR Version: 1.0

2. flex      
Language   C
Test Types   tsl
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   6
Size   10459 LOC, 162 procedures
Acknowledgements   Linux version contributed by Muralikrishna Ramanathan, Purdue University
Updated: 2006-06-20
Downloads: 295
SIR Version: 1.1

3. grep      
Language   C
Test Types   tsl
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   6
Size   10068 LOC, 146 procedures
Acknowledgements   Linux version contributed by Muralikrishna Ramanathan, Purdue University
Updated: 2005-11-22
Downloads: 268
SIR Version: 1.2

4. gzip      
Language   C
Test Types   tsl
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   6
Size   5680 LOC, 104 procedures
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: 264
SIR Version: 1.5

5. make      
Language   C
Test Types   tsl
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   5
Size   35545 LOC, 268 procedures
Acknowledgements   Ben Liblit, University of Wisconsin for identifying various issues for correction.
Updated: 2006-03-12
Downloads: 110
SIR Version: 1.4

6. printtokens      
Language   C
Test Types   other
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   1
Size   726 LOC, 18 procedures
Acknowledgements   Originally created by Tom Ostrand and colleagues at Siemens Corporate Research
Updated: 2005-08-01
Downloads: 258
SIR Version: 2.0

7. printtokens2      
Language   C
Test Types   other
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   1
Size   570 LOC, 19 procedures
Acknowledgements   Originally created by Tom Ostrand and colleagues at Siemens Corporate Research
Updated: 2005-08-01
Downloads: 151
SIR Version: 2.0

8. replace      
Language   C
Test Types   other
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   1
Size   564 LOC, 21 procedures
Acknowledgements   Originally created by Tom Ostrand and colleagues at Siemens Corporate Research
Updated: 2005-08-01
Downloads: 180
SIR Version: 2.0

9. schedule      
Language   C
Test Types   other
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   1
Size   412 LOC, 18 procedures
Acknowledgements   Originally created by Tom Ostrand and colleagues at Siemens Corporate Research
Updated: 2005-08-01
Downloads: 183
SIR Version: 2.0

10. schedule2      
Language   C
Test Types   other
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   1
Size   374 LOC, 16 procedures
Acknowledgements   Originally created by Tom Ostrand and colleagues at Siemens Corporate Research
Updated: 2005-08-01
Downloads: 151
SIR Version: 2.0

11. sed      
Language   C
Test Types   tsl, other
Fault Types   real, seeded
Fault Matrices   yes
Sequential Versions   8
Size   14427 LOC, 255 procedures
Acknowledgements   Linux patches contributed by Ben Liblit, University of Wisconsin.
Updated: 2006-09-19
Downloads: 155
SIR Version: 2.0

12. space      
Language   C
Test Types   other
Fault Types   real
Fault Matrices   yes
Sequential Versions   1
Size   6199 LOC, 136 procedures
Acknowledgements  
Updated: 2005-08-01
Downloads: 216
SIR Version: 2.0

13. tcas      
Language   C
Test Types   other
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   1
Size   173 LOC, 9 procedures
Acknowledgements   Originally created by Tom Ostrand and colleagues at Siemens Corporate Research
Updated: 2005-08-01
Downloads: 273
SIR Version: 2.0

14. totinfo      
Language   C
Test Types   other
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   1
Size   565 LOC, 7 procedures
Acknowledgements   Originally created by Tom Ostrand and colleagues at Siemens Corporate Research
Updated: 2005-08-01
Downloads: 167
SIR Version: 2.0

15. vim      
Language   C
Test Types   other, expect
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   8
Size   122169 LOC, 1999 procedures
Acknowledgements  
Updated: 2006-09-14
Downloads: 67
SIR Version: 1.0

16. account      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   66 LOC, 3 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 3
SIR Version: 1.0

17. accountsubtype      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   89 LOC, 6 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

18. airline      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   31 LOC, 2 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 3
SIR Version: 1.0

19. alarm_clock      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   125 LOC, 6 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 2
SIR Version: 1.0

20. allocationVector      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   87 LOC, 3 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 3
SIR Version: 1.0

21. ant      
Language   Java
Test Types   unit
Fault Types   seeded
Fault Matrices   yes; unit class-level, method-level
Sequential Versions   11
Size   80500 LOC, 627 classes
Acknowledgements  
Updated: 2005-11-22
Downloads: 174
SIR Version: 1.0

22. Array-Partition      
Language   Java
Test Types   none
Fault Types   none
Fault Matrices   no
Sequential Versions   1
Size   13 LOC, 1 classes
Acknowledgements   Courtesy of the SAnToS Research Group at Kansas State
Updated: 2009-01-21
Downloads: 35
SIR Version: 1.0

23. Binary-Heap      
Language   Java
Test Types   none
Fault Types   none
Fault Matrices   no
Sequential Versions   1
Size   72 LOC, 2 classes
Acknowledgements   Courtesy of the SAnToS Research Group at Kansas State
Updated: 2009-01-22
Downloads: 29
SIR Version: 1.0

24. Binary-Search-Tree      
Language   Java
Test Types   none
Fault Types   none
Fault Matrices   no
Sequential Versions   1
Size   130 LOC, 3 classes
Acknowledgements   Courtesy of the SAnToS Research Group at Kansas State
Updated: 2009-01-21
Downloads: 53
SIR Version: 1.0

25. boundedBuffer      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   65 LOC, 5 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 2
SIR Version: 1.0

26. clean      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   51 LOC, 4 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

27. Cruise Control      
Language   Java
Test Types   none
Fault Types   mutation
Fault Matrices   no
Sequential Versions   1
Size   261 LOC, 4 classes
Acknowledgements   Graciously provided by the SQUALL Lab at Carleton University
Updated: 2009-09-21
Downloads: 18
SIR Version: 1.0

28. daisy      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   883 LOC, 22 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 4
SIR Version: 1.0

29. deadlock      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   24 LOC, 4 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 2
SIR Version: 1.0

30. deos      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   838 LOC, 24 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 3
SIR Version: 1.0

31. Derby      
Language   Java
Test Types   unit
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   5
Size   503833 LOC, 1967 classes
Acknowledgements  
Updated: 2009-08-10
Downloads: 10
SIR Version: 1.0

32. diningPhilosophers      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   27 LOC, 3 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

33. Disjoint-Set      
Language   Java
Test Types   none
Fault Types   none
Fault Matrices   no
Sequential Versions   1
Size   35 LOC, 1 classes
Acknowledgements   Courtesy of the SAnToS Research Group at Kansas State
Updated: 2009-01-22
Downloads: 28
SIR Version: 1.0

34. Doubly-Linked-List      
Language   Java
Test Types   none
Fault Types   none
Fault Matrices   no
Sequential Versions   1
Size   277 LOC, 1 classes
Acknowledgements   Courtesy of the SAnToS Research Group at Kansas State
Updated: 2009-01-21
Downloads: 33
SIR Version: 1.0

35. Elevator      
Language   Java
Test Types   none
Fault Types   mutation
Fault Matrices   no
Sequential Versions   1
Size   580 LOC, 8 classes
Acknowledgements   Graciously provided by the SQUALL Lab at Carleton University
Updated: 2009-09-21
Downloads: 15
SIR Version: 1.0

36. elevator      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   934 LOC, 12 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

37. jboss      
Language   Java
Test Types   unit
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   10
Size   116638 LOC, 1126 classes
Acknowledgements  
Updated: 2009-03-26
Downloads: 15
SIR Version: 1.0

38. jmeter      
Language   Java
Test Types   unit
Fault Types   seeded
Fault Matrices   yes; unit class-level, method-level
Sequential Versions   7
Size   43400 LOC, 389 classes
Acknowledgements  
Updated: 2005-11-22
Downloads: 139
SIR Version: 1.0

39. jtopas      
Language   Java
Test Types   unit
Fault Types   seeded
Fault Matrices   yes; unit class-level, method-level
Sequential Versions   4
Size   5400 LOC, 50 classes
Acknowledgements  
Updated: 2005-11-22
Downloads: 295
SIR Version: 1.0

40. linkedlist      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   121 LOC, 5 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

41. loseNotify      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   41 LOC, 4 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

42. nanoxml      
Language   Java
Test Types   tsl
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   6
Size   7646 LOC, 24 classes
Acknowledgements  
Updated: 2008-01-11
Downloads: 241
SIR Version: 1.2

43. nested_monitor      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   52 LOC, 5 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 2
SIR Version: 1.0

44. OrdSet      
Language   Java
Test Types   none
Fault Types   mutation
Fault Matrices   no
Sequential Versions   1
Size   229 LOC, 2 classes
Acknowledgements   Graciously provided by the SQUALL Lab at Carleton University
Updated: 2009-09-20
Downloads: 8
SIR Version: 1.0

45. piper      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   74 LOC, 4 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 2
SIR Version: 1.0

46. producer_consumer      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   99 LOC, 8 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

47. raxextended      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   118 LOC, 11 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

48. raxextended2      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   128 LOC, 11 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

49. readers_writers      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   103 LOC, 6 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

50. Red-Black-Tree      
Language   Java
Test Types   none
Fault Types   none
Fault Matrices   no
Sequential Versions   1
Size   334 LOC, 1 classes
Acknowledgements   Courtesy of the SAnToS Research Group at Kansas State
Updated: 2009-01-22
Downloads: 30
SIR Version: 1.0

51. reorder      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   44 LOC, 4 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

52. replicated_workers      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   342 LOC, 14 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 3
SIR Version: 1.0

53. siena      
Language   Java
Test Types   tsl
Fault Types   seeded
Fault Matrices   yes
Sequential Versions   8
Size   6035 LOC, 26 classes
Acknowledgements  
Updated: 2005-11-23
Downloads: 295
SIR Version: 0.9

54. sleepingBarber      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   66 LOC, 4 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 2
SIR Version: 1.0

55. Sorting      
Language   Java
Test Types   none
Fault Types   none
Fault Matrices   no
Sequential Versions   1
Size   130 LOC, 1 classes
Acknowledgements   Courtesy of the SAnToS Research Group at Kansas State
Updated: 2009-01-21
Downloads: 35
SIR Version: 1.0

56. Stack      
Language   Java
Test Types   none
Fault Types   none
Fault Matrices   no
Sequential Versions   1
Size   114 LOC, 5 classes
Acknowledgements   Courtesy of the SAnToS Research Group at Kansas State
Updated: 2009-01-22
Downloads: 29
SIR Version: 1.0

57. twoStage      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   52 LOC, 5 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

58. Vector      
Language   Java
Test Types   none
Fault Types   none
Fault Matrices   no
Sequential Versions   1
Size   254 LOC, 1 classes
Acknowledgements   Courtesy of the SAnToS Research Group at Kansas State
Updated: 2009-01-22
Downloads: 41
SIR Version: 1.0

59. wrongLock      
Language   Java
Test Types   none
Fault Types   real
Fault Matrices   no
Sequential Versions   1
Size   38 LOC, 4 classes
Acknowledgements  
Updated: 2009-11-06
Downloads: 1
SIR Version: 1.0

60. xml-security      
Language   Java
Test Types   unit
Fault Types   seeded
Fault Matrices   yes; unit class-level, method-level
Sequential Versions   9
Size   16800 LOC, 143 classes
Acknowledgements  
Updated: 2009-10-06
Downloads: 160
SIR Version: 1.1

 


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