Michal Soucha

According to our database¹, Michal Soucha authored at least 4 papers between 2018 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

State identification sequences from the splitting tree.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2020

Observation Tree Approach: Active Learning Relying on Testing.

[BibT_eX]

[DOI]

Comput. J., 2020

2019

Testing and active learning of resettable finite-state machines.

[BibT_eX]

[DOI]

PhD thesis, 2019

2018

SPYH-Method: An Improvement in Testing of Finite-State Machines.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018