Travelled to:1 × France
1 × Russia
Collaborated with:∅ O.Henniger H.Wiland
Talks about:testabl (2) framework (1) strategi (1) unbound (1) theori (1) specif (1) qualit (1) notion (1) minim (1) test (1)
Person: Bernd Baumgarten
DBLP: Baumgarten:Bernd
Contributed to:
1999
19991998Wrote 3 papers:
- FM-v2-1999-Baumgarten #framework #specification
- A Minimal Framework for Specification Theory (BB), p. 1861.
- IWTCS-1999-BaumgartenH #bound #testing
- Testability with Unbounded Testing Strategies (BB, OH), pp. 43–60.
- IWTCS-1998-BaumgartenW #testing
- Qualitative Notions of Testability (BB, HW), pp. 345–360.