Testing a deterministic implementation a
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
โ
Robert M. Hierons; Florentin Ipate
๐
Article
๐
2008
๐
Springer
๐
English
โ 380 KB