Primary tabs

Most recent publications

ACM Transactions on Software Engineering and Methodology (TOSEM) (2021).
Journal Article
2021
In IEEE International Conference on Software Testing, Verification and Validation (ICST)). IEEE, 2021.
Proceedings, refereed
2021
In IEEE International Conference on Software Testing, 2021.
Proceedings, refereed
2021

Students under supervision

Find publication

Departments

Year published

Export 6 results:
2021

Journal articles

ACM Transactions on Software Engineering and Methodology (TOSEM) (2021).
Status: Accepted

Proceedings, refereed

In IEEE International Conference on Software Testing, Verification and Validation (ICST)). IEEE, 2021.
Status: Accepted
In IEEE International Conference on Software Testing, 2021.
Status: Accepted
In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Status: Accepted
2007

Journal articles

Software Testing, Verification and Reliability 18 (2007): 99-121.
Status: Accepted