Primary tabs

Most recent publications

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
2nd ed. Vol. 18. The Journal of Object Technology, 2019.
Edited books
2019

News

Find publication

Export 249 results:
2020

Journal articles

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

Proceedings, refereed

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

Journal articles

Information and Software Technology 111 (2019): 22-36.
Status: Published
Journal of Systems and Software 153 (2019).
Status: Published

Edited books

2nd ed. Vol. 18. The Journal of Object Technology, 2019.
Status: Published