Mercury Interactive / IRISA Laboratory / Conformiq Software Ltd. / Naval Research Laboratory / O LS TVEC T-VEC Technologies / IBM Corporation / The Teradyne Corporation / Gentleware AG / Objecteering Software / MIT Software Design Group / Microsoft / Reactive Systems Inc / Telcordia Technologies / Microsoft Visual Studio.NET / / /
Facility
Munich University of Technology / Warsaw University of Technology / George Mason University / University of Twente / /
IndustryTerm
real time operating system / test generation algorithms / software testing activity / micro-electronics industries / aerospace industry / telecommunications / test generation tools / telecommunications industry / Web Service / real time properties / test generation algorithm / software development / test generation tool / /
OperatingSystem
Poseidon / /
Organization
Russian Academy of Sciences / University of Twente / MIT / George Mason University / Together Control Centre / Institute for System Programming / Warsaw University of Technology / Munich University of Technology / /
Person
Alan Hartman / /
Position
driver / head / /
ProgrammingLanguage
Abstract State Machine Language / StateFlow / Java / J / C / SimuLink / C++ / TTCN / /
Technology
T-VEC Technologies / XML / Java / finite state machine / test generation algorithm / two test generation algorithms / ISP / simulation / operating system / /