Test Generation from Timed Pushdown Automata with Inputs and Outputs
Author(s) -
Hemdi, Hana,
Jacques Julliand,
Pierre-Alain Masson,
Robba Riadh
Publication year - 2015
Publication title -
citeseer x (the pennsylvania state university)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - pushdown automaton , computer science , automaton , embedded pushdown automaton , test (biology) , programming language , theoretical computer science , parsing , paleontology , context free grammar , tree adjoining grammar , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom