Research Output per year
Research Output 2018 2018
- 2 Conference contribution
2018
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
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