A Fully Automated Approach to Discovering Nondeterminism in State Machine Diagrams.

Opeyemi O. Adesina, Timothy C. Lethbridge, Stphane S. Som

Browse the full QUATIC paper archive.