Primary tabs

Most recent publications

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
In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Proceedings, refereed
2021

Students under supervision

Find publication

Status

Departments

Export 5 results:
2021

Journal articles

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