TY - JOUR AU - El-Fakih, Khaled AU - Yevtushenko, Nina AU - Bozga, Marius AU - Bensalem, Saddek PY - 2016 DA - 2016/03/31 TI - Distinguishing extended finite state machine configurations using predicate abstraction JO - Journal of Software Engineering Research and Development SP - 1 VL - 4 IS - 1 AB - Extended Finite State Machines (EFSMs) provide a powerful model for the derivation of functional tests for software systems and protocols. Many EFSM based testing problems, such as mutation testing, fault diagnosis, and test derivation involve the derivation of input sequences that distinguish configurations of a given EFSM specification. SN - 2195-1721 UR - https://doi.org/10.1186/s40411-016-0027-4 DO - 10.1186/s40411-016-0027-4 ID - El-Fakih2016 ER -