Opeyemi O. Adesina, Timothy C. Lethbridge, Stéphane S. Somé. A Fully Automated Approach to Discovering Nondeterminism in State Machine Diagrams. In 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016, Lisbon, Portugal, September 6-9, 2016. pages 73-78, IEEE Computer Society, 2016. [doi]
Abstract is missing.