Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov. On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. In Franz Wotawa, Mihai Nica, Natalia Kushik, editors, Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Volume 9976 of Lecture Notes in Computer Science, pages 139-152, 2016. [doi]
Abstract is missing.