Pekka Aho. Automated state model extraction, testing and change detection through graphical user interface. PhD thesis, University of Oulu, Finland, 2019. [doi]
@phdthesis{basesearch-10491, title = {Automated state model extraction, testing and change detection through graphical user interface}, author = {Pekka Aho}, year = {2019}, url = {https://www.base-search.net/Record/d860f703d785ec087b3522c2b6f7cd5851b5a37e909cd05a7ff069acb1144d23}, note = {base-search.net (ftunivoulu:oai:oulu.fi:isbn978-952-62-2406-0)}, researchr = {https://researchr.org/publication/basesearch-10491}, cites = {0}, citedby = {0}, school = {University of Oulu, Finland}, }