Primary tabs
Most recent publications
News
Students under supervision
Departments
Publication type
Year published
2017
Journal articles
IEEE Transactions on Reliability 66 (2017): 3-16.
Status: Published
Proceedings, refereed
In IEEE International Symposium on High Assurance Systems Engineering. ACM/IEEE, 2017.
Status: Published
In IEEE International Symposium on High Assurance Systems Engineering. ACM/IEEE, 2017.
Status: Published
In International Conference on Software Testing, Verification and Validation (ICST 2017) . IEEE, 2017.
Status: Published
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Status: Published
Book chapters
In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Status: Published