![](/img/cover-not-exists.png)
[ACM Press the 21th ACM/IEEE International Conference - Copenhagen, Denmark (2018.10.14-2018.10.19)] Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18 - Towards Testing from Finite State Machines with Symbolic Inputs and Outputs
Petrenko, AlexandreYear:
2018
Language:
english
DOI:
10.1145/3239372.3242894
File:
PDF, 792 KB
english, 2018