Primary tabs

Most recent publications

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
In IEEE International Conference on Software Testing, Verification (ICST)., 2017.
Proceedings, refereed
2017
In IEEE 27th International Symposium on Software Reliability Engineering (ISSRE)., 2016.
Proceedings, refereed
2016

Projects

Find publication

Export 21 results:
2017

Proceedings, refereed

In IEEE International Conference on Software Testing, Verification (ICST)., 2017.
Status: Accepted
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
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
In IEEE 27th International Symposium on Software Reliability Engineering (ISSRE)., 2016.
Status: Published