Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Khaled
    Last name: El-Fakih
    DBLP: 83/1062
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 45  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Khaled El-Fakih, Adenilso da Silva Simão, Noshad Jadoon, José Carlos Maldonado.
    An assessment of extended finite state machine test selection criteria.
    Journal of Systems and Software 2017, Volume 123 (0) 2017
    Conference paper
    Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli.
    On adaptive experiments for nondeterministic finite state machines.
    STTT 2016, Volume 18 (0) 2016
    Journal article
    Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem.
    Distinguishing extended finite state machine configurations using predicate abstraction.
    J. Software Eng. RD 2016, Volume 4 (0) 2016
    Conference paper
    Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov.
    On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications.
    Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Khaled El-Fakih, Abdul Rahim Haddad, Nassima Aleb, Nina Yevtushenko.
    Heuristics for deriving distinguishing experiments of nondeterministic finite state machines.
    Appl. Soft Comput. 2016, Volume 49 (0) 2016
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko.
    Test Translation for Embedded Finite State Machine Components.
    Comput. J. 2016, Volume 59 (0) 2016
    Conference paper
    Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong Roland Jiang.
    Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.
    Comput. J. 2015, Volume 58 (0) 2015
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko, Adenilso da Silva Simão.
    A practical approach for testing timed deterministic finite state machines with single clock.
    Sci. Comput. Program. 2014, Volume 80 (0) 2014
    Conference paper
    Khaled El-Fakih, Adenilso da Silva Simão, Noshad Jadoon, José Carlos Maldonado.
    On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria.
    Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA 2014 (0) 2014
    Journal article
    Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko.
    Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power.
    Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. 2014, Volume 161 (0) 2014
    Show item 1 to 25 of 45  

    Your query returned 45 matches in the database.