Test-First for Abstracted Behavior of Software Using Extended Finite State Machine | IEEE Conference Publication | IEEE Xplore