Travelled to:1 × Austria
1 × Hungary
1 × United Kingdom
Collaborated with:B.Jonsson H.Raffelt O.Grinchtein M.Leucker B.Steffen
Talks about:regular (3) infer (3) machin (2) state (2) test (2) correspond (1) paramet (1) conform (1) between (1) domain (1)
Person: Therese Berg
DBLP: Berg:Therese
Contributed to:
200820062005Wrote 3 papers:
- FASE-2008-BergJR #similarity #state machine #testing #using
- Regular Inference for State Machines Using Domains with Equality Tests (TB, BJ, HR), pp. 317–331.
- FASE-2006-BergJR #parametricity #state machine
- Regular Inference for State Machines with Parameters (TB, BJ, HR), pp. 107–121.
- FASE-2005-BergGJLRS #consistency #on the #testing
- On the Correspondence Between Conformance Testing and Regular Inference (TB, OG, BJ, ML, HR, BS), pp. 175–189.