@inproceedings{MHemdiJulliandMassonRobbana:ICSTW:2015,
    Author = {M'Hemdi, H. and Julliand, J. and Masson, P. A. and Robbana, R.},
    BookTitle = {ICSTW'15},
    File = {Test generation from timed pushdown automata with inputs and outputs - 10.1109@icstw.2015.7107404 - a - a - c.pdf},
    Keywords = {automata theory;polynomials;program testing;reachability analysis;RTA;TPAIO;polynomial algorithm;reachability timed automaton;satisfiability decision procedures;state reachability;test generation;timed pushdown automata;Automata;Clocks;Computational modeling;Cost accounting;Delays;Merging;Polynomials;Clock Constraints Backward Closure;Conformance Relation for TPAIO;Reachability Timed Automata;Test Generation from Automata;Timed Pushdown Automata},
    Month = {April},
    Pages = {1--10},
    Title = {Test generation from timed pushdown automata with inputs and outputs},
    Year = {2015},
    bdsk-url-1 = {https://dx.doi.org/10.1109/ICSTW.2015.7107404},
    date-added = {2018-01-16 13:32:53 +0000},
    date-modified = {2019-08-16 16:56:48 +0200},
    doi = {10.1109/ICSTW.2015.7107404}
}

@inproceedings{MHemdiJulliandMassonRobbana:ICSTW:2015, Author = {M'Hemdi, H. and Julliand, J. and Masson, P. A. and Robbana, R.}, BookTitle = {ICSTW'15}, File = {Test generation from timed pushdown automata with inputs and outputs - 10.1109@icstw.2015.7107404 - a - a - c.pdf}, Keywords = {automata theory;polynomials;program testing;reachability analysis;RTA;TPAIO;polynomial algorithm;reachability timed automaton;satisfiability decision procedures;state reachability;test generation;timed pushdown automata;Automata;Clocks;Computational modeling;Cost accounting;Delays;Merging;Polynomials;Clock Constraints Backward Closure;Conformance Relation for TPAIO;Reachability Timed Automata;Test Generation from Automata;Timed Pushdown Automata}, Month = {April}, Pages = {1--10}, Title = {Test generation from timed pushdown automata with inputs and outputs}, Year = {2015}, bdsk-url-1 = {https://dx.doi.org/10.1109/ICSTW.2015.7107404}, date-added = {2018-01-16 13:32:53 +0000}, date-modified = {2019-08-16 16:56:48 +0200}, doi = {10.1109/ICSTW.2015.7107404} }