Primary tabs

Most recent publications

In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Book Chapter
2017
In Proceedings of 26th International Symposium on Software Testing and Analysis , Santa Barbara, CA, USA, July 2017 (ISSTA’17). ACM, 2017.
Proceedings, refereed
2017
AI Magazine 38, no. Spring (2017).
Journal Article
2017

Projects

Find publication

Export 26 results:
2018

Talks, contributed

In Gesellschaft für Informatik Software Engineering Conference 2018 (SE18)., 2018.
Status: Accepted
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 (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). ACM, 2017.
Status: Published

Book chapters

In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Status: Published