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
ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).
Journal Article
2020
Software Testing, Verification and Reliability 18 (2007): 99-121.
Journal Article
2007

News

Students under supervision

Find publication

Year published

Export 4 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
2007

Journal articles

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