Travelled to:1 × France
1 × United Kingdom
Collaborated with:S.Burg H.Eichelberger J.Ruf T.Kropf W.Rosenstiel J.Laufenberg P.Heckeler
Talks about:overhead (1) flexibl (1) specif (1) object (1) invari (1) effici (1) differ (1) test (1) path (1) more (1)
Person: Stefan Huster
DBLP: Huster:Stefan
Contributed to:
20152014Wrote 2 papers:
- SEFM-2015-HusterBELRKR #performance #testing
- Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.
- SEFM-2014-HusterHERBKR #flexibility #invariant #specification
- More Flexible Object Invariants with Less Specification Overhead (SH, PH, HE, JR, SB, TK, WR), pp. 302–316.