Primary tabs

Most recent publications

In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Book Chapter
2017
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
2017
AI Magazine 38, no. Spring (2017).
Journal Article
2017

Students under supervision

Find publication

Export 11 results:
2017

Journal articles

AI Magazine 38, no. Spring (2017).
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
2015

Journal articles

International Journal of System Assurance Engineering and Management (2015): 1-25.
Status: Published

Proceedings, refereed

In ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July. SciTePress, 2015.
Status: Published
In IEEE International Conference on Software Quality, Reliability and Security. Vancouver, Canada, August 3-5, 2015.
Status: Published