BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Berg:Therese

Contributed to:

FASE 20082008
FASE 20062006
FASE 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.