Primary tabs

Most recent publications

ACM Transactions on Software Engineering and Methodology (2020).
Journal Article
2020
ACM Transactions on Cyber-Physical Systems (2020).
Journal Article
2020
In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE, 2020.
Proceedings, refereed
2020
Software Testing, Verification and Reliability 18 (2007): 99-121.
Journal Article
2007

Students under supervision

Find publication

Export 4 results:
2020

Journal articles

ACM Transactions on Cyber-Physical Systems (2020).
Status: Accepted
ACM Transactions on Software Engineering and Methodology (2020).
Status: Accepted

Proceedings, refereed

In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE, 2020.
Status: Accepted
2007

Journal articles

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