@inproceedings{7194360,
    Author = {Hana, M'Hemdi and Julliand, Jacques and Masson, Pierre-Alain and Robbana, Riadh},
    BookTitle = {Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2015 IEEE 24th International Conference on},
    File = {Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation - Hana, Julliand, Masson, Robbana (0) (0) - a - a - q.pdf},
    Keywords = {timed pushdown automata},
    Month = {June},
    Pages = {198-203},
    Title = {Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1109/WETICE.2015.35},
    date-added = {2015-09-12 17:31:14 +0000},
    date-modified = {2015-10-15 13:48:42 +0000},
    doi = {10.1109/WETICE.2015.35}
}

@inproceedings{7194360, Author = {Hana, M'Hemdi and Julliand, Jacques and Masson, Pierre-Alain and Robbana, Riadh}, BookTitle = {Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2015 IEEE 24th International Conference on}, File = {Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation - Hana, Julliand, Masson, Robbana (0) (0) - a - a - q.pdf}, Keywords = {timed pushdown automata}, Month = {June}, Pages = {198-203}, Title = {Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1109/WETICE.2015.35}, date-added = {2015-09-12 17:31:14 +0000}, date-modified = {2015-10-15 13:48:42 +0000}, doi = {10.1109/WETICE.2015.35} }