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
ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).
Journal Article
2020

News

Students under supervision

Find publication

Export 5 results:
2020

Journal articles

ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).
Status: Accepted
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