Test-First for Abstracted Behavior of Software Using Extended Finite State Machine. - Tomohiko Takagi; Koichiro Sakata (ISSRE Workshops, 2020)