Welkom...

D.J. Huistra MSc (David)

Ondersteunend en beheerspersoneel

Expertises

Engineering & Materials Science
Experiments
Interoperability
Model Checking
Testing

Publicaties

Recent
Huistra, D. , Meijer, J. , & Pol, J. V. D. (2018). Adaptive Learning for Learn-Based Regression Testing. In F. Howar, & J. Barnat (Eds.), Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (pp. 162-177). (Lecture Notes in Computer Science; Vol. 11119). Springer. https://doi.org/10.1007/978-3-030-00244-2_11
Kumar, R. , Schivo, S. , Ruijters, E. , Yildiz, B. M. , Huistra, D., Brandt, J. , Rensink, A. , & Stoelinga, M. (2018). Effective Analysis of Attack Trees: A Model-Driven Approach. In A. Russo, & A. Schürr (Eds.), Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018) (pp. 56-73). (Lecture Notes in Computer Science; Vol. 10802). Springer. https://doi.org/10.1007/978-3-319-89363-1_4

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11)
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
Postbus 217
7500 AE Enschede