index
:
NWI-I00110-Testing-Techniques
annotate-castling-and-check
master
refactor-atAnyState
Files related to NWI-I00110 Testing Techniques, autumn 2017, Radboud University Nijmegen.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
assignments
Age
Commit message (
Expand
)
Author
Files
Lines
2017-11-13
Update introduction assignment 3
Camil Staps
1
-5
/
+17
2017-11-13
Assignment 3: Write small section on QuickCheck and relation to assignment 1
Erin van der Veen
1
-0
/
+39
2017-10-26
'Bounded Retransmission Protocol' Blob
René den Hertog
64
-0
/
+38501
2017-10-25
Finish assignment 2, part 1
Camil Staps
1
-4
/
+11
2017-10-25
Reorganise full runs
Camil Staps
4
-25
/
+3
2017-10-25
Add final runs and models of Rivest-Schapire
Camil Staps
2
-18
/
+83
2017-10-24
Add Randomwalk and WPMethod full runs
Erin van der Veen
4
-0
/
+235
2017-10-24
Add runs of Rivest-Schapire (RandomWalk and WMethod)
Camil Staps
2
-0
/
+82
2017-10-23
Add hypotheses
Camil Staps
5
-73
/
+178
2017-10-23
1.1.4
Camil Staps
1
-0
/
+8
2017-10-23
Cleanup
Camil Staps
1
-10
/
+1
2017-10-16
Remove PNGs
Camil Staps
6
-0
/
+9
2017-10-16
Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques
Camil Staps
14
-0
/
+297
2017-10-16
de-misunderestimating
Camil Staps
13
-0
/
+398
2017-10-16
Add counterexamples and hypotheses of same counterexample twice
Erin van der Veen
4
-0
/
+152
2017-10-16
Fix typo in Shapir
Erin van der Veen
5
-0
/
+0
2017-10-16
Add counterexamples and Hypotheses for TTT
Erin van der Veen
5
-0
/
+145
2017-10-16
Move assignment1 to own dir; Setup assignment2.tex; Add 4 hypotheses of Rives...
Erin van der Veen
8
-0
/
+177
2017-10-05
Argue about coverage
Camil Staps
1
-0
/
+5
2017-10-05
Add more tests
Camil Staps
2
-29
/
+62
2017-10-05
Test results
Camil Staps
2
-14
/
+114
2017-10-02
Continue with text
Camil Staps
1
-42
/
+78
2017-10-02
Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques
Camil Staps
1
-10
/
+4
2017-10-02
Authors
Camil Staps
1
-5
/
+1
2017-10-02
Remove section on Statement Coverage; Reintroduce label to paragraph on Execu...
Erin van der Veen
1
-10
/
+4
2017-10-02
Merge
HEAD
master
Camil Staps
1
-4
/
+4
2017-10-02
Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques
Camil Staps
1
-2
/
+19
2017-10-02
Textual refinements
Camil Staps
1
-31
/
+58
2017-10-02
Write section on Manual and Automated testing
Erin van der Veen
1
-2
/
+19
2017-10-02
Blah
Camil Staps
1
-47
/
+93
2017-10-02
Start the skeleton of the 'Manual Testing' & 'Automated Testing' sections.
René den Hertog
1
-0
/
+7
2017-10-02
Improve the 'Test Environment' section of the 'Test Plan'.
René den Hertog
1
-28
/
+29
2017-10-02
Improve the 'Test Method' section of the 'Test Plan'.
René den Hertog
1
-18
/
+34
2017-10-02
Improve the 'Test Goals' section of the 'Test Plan'.
René den Hertog
1
-18
/
+75
2017-10-02
Improve the 'System Under Test (SUT) Description' section of the 'Test Plan'.
René den Hertog
1
-24
/
+20
2017-10-02
Clean the header of './assignments/assignment1.tex'.
René den Hertog
1
-4
/
+20
2017-09-18
Add wrapper source code
Camil Staps
1
-4
/
+10
2017-09-18
Testing setup graphic
Camil Staps
1
-4
/
+31
2017-09-18
Continue assignment1
Erin van der Veen
1
-0
/
+93