Primary tabs

Most recent publications

In Proceedings of 26th International Symposium on Software Testing and Analysis , Santa Barbara, CA, USA, July 2017 (ISSTA’17)., 2017.
Proceedings, refereed
2017
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

Projects

Find publication

Export 23 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
In Proceedings of 26th International Symposium on Software Testing and Analysis , Santa Barbara, CA, USA, July 2017 (ISSTA’17)., 2017.
Status: Accepted
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