Automated state model extraction, testing and change detection through graphical user interface

Pekka Aho. Automated state model extraction, testing and change detection through graphical user interface. PhD thesis, University of Oulu, Finland, 2019. [doi]

Abstract

Abstract is missing.