No photo of David Julius Huistra

David Julius Huistra

20182018
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where David Julius Huistra is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Testing Engineering & Materials Science
Interoperability Engineering & Materials Science
Model checking Engineering & Materials Science
Experiments Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2018 2018

  • 2 Conference contribution
1 Citation (Scopus)
6 Downloads (Pure)

Adaptive Learning for Learn-Based Regression Testing

Huistra, D., Meijer, J. & Pol, J. V. D., Sep 2018, Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Howar, F. & Barnat, J. (eds.). Springer, p. 162-177 16 p. (Lecture Notes in Computer Science; vol. 11119).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
Testing
Model checking
Experiments
70 Downloads (Pure)

Effective Analysis of Attack Trees: A Model-Driven Approach

Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A., Apr 2018, Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
Interoperability