Expertise
Engineering & Materials Science
# Experiments
# Interoperability
# Model Checking
# Testing
Organisations
Publications
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. Advance online publication.
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
UT Research Information System
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11)
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
P.O. Box 217
7500 AE Enschede
The Netherlands