Complete FSM Testing Using Strong Separability.

Robert M. Hierons, Mohammad Reza Mousavi

Browse the full FOSSACS paper archive.