C4: Functional Testing of Controllers