Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko. Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008. pages 308-317, IEEE Computer Society, 2008. [doi]
Abstract is missing.