Alexandre Petrenko, Florent Avellaneda. Learning and Adaptive Testing of Nondeterministic State Machines. In 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019, Sofia, Bulgaria, July 22-26, 2019. pages 362-373, IEEE, 2019. [doi]