| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
CoCo 2019: report on the eighth confluence competition
|
Middeldorp, Aart
|
|
|
23 |
6 |
p. 905-916
|
artikel
|
| 2 |
CoVeriTest: interleaving value and predicate analysis for test-case generation
|
Jakobs, Marie-Christine
|
|
|
23 |
6 |
p. 847-851
|
artikel
|
| 3 |
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation
|
Ruland, Sebastian
|
|
|
23 |
6 |
p. 853-856
|
artikel
|
| 4 |
ESBMC 6.1: automated test case generation using bounded model checking
|
Gadelha, Mikhail R.
|
|
|
23 |
6 |
p. 857-861
|
artikel
|
| 5 |
FairFuzz-TC: a fuzzer targeting rare branches
|
Lemieux, Caroline
|
|
|
23 |
6 |
p. 863-866
|
artikel
|
| 6 |
First international competition on software testing
|
Beyer, Dirk
|
|
|
23 |
6 |
p. 833-846
|
artikel
|
| 7 |
KLEE symbolic execution engine in 2019
|
Cadar, Cristian
|
|
|
23 |
6 |
p. 867-870
|
artikel
|
| 8 |
Plain random test generation with PRTest
|
Lemberger, Thomas
|
|
|
23 |
6 |
p. 871-873
|
artikel
|
| 9 |
SL-COMP: competition of solvers for separation logic
|
Sighireanu, Mihaela
|
|
|
23 |
6 |
p. 895-903
|
artikel
|
| 10 |
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
|
Kordon, Fabrice
|
|
|
23 |
6 |
p. 931-952
|
artikel
|
| 11 |
Symbiotic 6: generating test cases by slicing and symbolic execution
|
Chalupa, Marek
|
|
|
23 |
6 |
p. 875-877
|
artikel
|
| 12 |
The RERS challenge: towards controllable and scalable benchmark synthesis
|
Howar, Falk
|
|
|
23 |
6 |
p. 917-930
|
artikel
|
| 13 |
TOOLympics I: Competition on software testing
|
Beyer, Dirk
|
|
|
23 |
6 |
p. 829-832
|
artikel
|
| 14 |
TOOLympics II: competitions on formal methods
|
Beyer, Dirk
|
|
|
23 |
6 |
p. 879-881
|
artikel
|
| 15 |
VerifyThis 2019: a program verification competition
|
Dross, Claire
|
|
|
23 |
6 |
p. 883-893
|
artikel
|
Tijdschrift beschrijving