Automata Models for Effective Bug Pattern Description.

Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun

Browse the full MODELS paper archive.