Control Dependence for Extended Finite State Machines.

Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt

Browse the full FASE paper archive.