Travelled to:1 × France
1 × USA
1 × United Kingdom
Collaborated with:M.Herschel S.Huster S.Burg J.Ruf T.Kropf W.Rosenstiel J.Laufenberg P.Heckeler
Talks about:understand (1) transform (1) overhead (1) nautilus (1) flexibl (1) specif (1) object (1) invari (1) effici (1) differ (1)
Person: Hanno Eichelberger
DBLP: Eichelberger:Hanno
Contributed to:
20152014
2012Wrote 3 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.
- CIKM-2012-HerschelE #comprehension #data transformation #debugging
- The nautilus analyzer: understanding and debugging data transformations (MH, HE), pp. 2731–2733.