Mobile Arts / Ericsson / Bengt Jonsson Mobile Arts AB / /
Country
Denmark / / /
Event
FDA Phase / /
Facility
Uppsala University / Computer Systems Uppsala University / /
IndustryTerm
physical network / validation tools / function applications / middleware product / implementation solution / produced tools / gateway products / telecom grade products / telecommunication protocols / test case generation algorithm / 3G mobile networks / test sequence generation algorithm / verification technology / protocol processing / test generation tool / it simpler to use existing tools / telecom operator / /
Movie
Getting IT Right / Copenhagen / /
Organization
SDL Forum Society on SDL / Computer Systems Uppsala University / MSC / Department of Computer Systems / Uppsala University / Network Presence Center / Industrial Erlang Applications Johan Blom Department / /
Person
Kim G. Larsen / John Derrick / Ulf Wiger / Paul Pettersson / Formal Methods / Arne Skou / Clara Benac Earle / Kent Boortz / Thomas Arts / Jonas Barklund / Anders Hessel / Brian Nielsen / Robert Virding / Peter Alexander Lindsay / Johan Blom / /
Position
guard / test driver / /
Product
Erlang / SS7 / /
ProgrammingLanguage
Latex / XML / Erlang / C / /
PublishedMedium
Lecture Notes in Computer Science / /
Technology
2.5G / cellular telephone / XML / SS7 protocol / test sequence generation algorithm / Arts NPC SS7 hard/softâware Our algorithm / Finite State Machine / command line interface / HTTP / instant messaging / GSM / verification technology / telecommunication protocols / 3G / test case generation algorithm / SS7 / GUI / /
Automated Test Generation for Industrial Erlang Applications Johan Blom Department of Computer Systems Uppsala University, Sweden