From Rule-based to Automata-based Testing.

Kousha Etessami, Mihalis Yannakakis

Browse the full FORTE paper archive.