| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases
|
Salva, Sébastien
|
|
2019
|
27 |
2 |
p. 675-701
|
artikel
|
| 2 |
Automatically learning usage behavior and generating event sequences for black-box testing of reactive systems
|
Kıraç, M. Furkan
|
|
2019
|
27 |
2 |
p. 861-883
|
artikel
|
| 3 |
Coverage-based quality metric of mutation operators for test suite improvement
|
Delgado-Pérez, Pedro
|
|
2018
|
27 |
2 |
p. 823-859
|
artikel
|
| 4 |
Differences between a static and a dynamic test-to-code traceability recovery method
|
Gergely, Tamás
|
|
2018
|
27 |
2 |
p. 797-822
|
artikel
|
| 5 |
Fault-based refinement-testing for CSP
|
Cavalcanti, Ana
|
|
2019
|
27 |
2 |
p. 529-562
|
artikel
|
| 6 |
Fault model-driven testing from FSM with symbolic inputs
|
Timo, Omer Nguena
|
|
2019
|
27 |
2 |
p. 501-527
|
artikel
|
| 7 |
FSM inference and checking sequence construction are two sides of the same coin
|
Petrenko, Alexandre
|
|
2018
|
27 |
2 |
p. 651-674
|
artikel
|
| 8 |
Guest Editorial: Special issue on Testing Software and Systems
|
Yenigun, Husnu
|
|
2019
|
27 |
2 |
p. 497-499
|
artikel
|
| 9 |
In this issue
|
Harrison, Rachel
|
|
2019
|
27 |
2 |
p. 495
|
artikel
|
| 10 |
Learning and statistical model checking of system response times
|
Aichernig, Bernhard K.
|
|
2019
|
27 |
2 |
p. 757-795
|
artikel
|
| 11 |
n-Complete test suites for IOCO
|
Bos, Petra van den
|
|
2018
|
27 |
2 |
p. 563-588
|
artikel
|
| 12 |
Safety-complete test suites
|
Huang, Wen-ling
|
|
2018
|
27 |
2 |
p. 589-613
|
artikel
|
| 13 |
Test descriptions with ETSI TDL
|
Makedonski, Philip
|
|
2018
|
27 |
2 |
p. 885-917
|
artikel
|
| 14 |
Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach
|
Ma, Tao
|
|
2019
|
27 |
2 |
p. 615-649
|
artikel
|
| 15 |
Testing TLS using planning-based combinatorial methods and execution framework
|
Simos, Dimitris E.
|
|
2018
|
27 |
2 |
p. 703-729
|
artikel
|
| 16 |
Virtual machine placement quality estimation in cloud infrastructures using integer linear programming
|
López, Jorge
|
|
2018
|
27 |
2 |
p. 731-755
|
artikel
|
Tijdschrift beschrijving