Primary tabs

Most recent publications

AI Magazine 38, no. Spring (2017).
Journal Article
2017
In International Conference on Software Testing, Verification and Validation (ICST 2017) ., 2017.
Proceedings, refereed
2017
In IEEE International Symposium on High Assurance Systems Engineering (HASE). ACM/IEEE, 2017.
Proceedings, refereed
2017
In IEEE International Symposium on High Assurance Systems Engineering . ACM/IEEE, 2017.
Proceedings, refereed
2017

Projects

Find publication

Export 22 results:
2017

Journal articles

AI Magazine 38, no. Spring (2017).
Status: Accepted

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 (HASE). ACM/IEEE, 2017.
Status: Published
In International Conference on Software Testing, Verification and Validation (ICST 2017) ., 2017.
Status: Published
2016

Journal articles

Proceedings, refereed

In Twenty-Eighth Conference on Innovative Applications of Artificial Intelligence (IAAI-16), Phoenix, AZ, USA, Feb. 2016., 2016.
Status: Published
In ICSOFT-EA 2016, 11th Int. Conf. on Software Engineering and Applications, Lisbon, July 2016, Awarded Best Paper. INSTICC Press, 2016.
Status: Published
In 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME)., 2016.
Status: Published
In 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) Workshops., 2016.
Status: Published