Travelled to:1 × Hungary
1 × USA
Collaborated with:I.Beschastnikh Y.Brun M.D.Ernst A.Krishnamurthy
Talks about:infer (2) algorithm (1) behavior (1) synopt (1) specif (1) declar (1) unifi (1) studi (1) model (1) log (1)
Person: Jenny Abrahamson
DBLP: Abrahamson:Jenny
Contributed to:
2013
2011Wrote 2 papers:
- ICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification
- Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.
- ESEC-FSE-2011-BeschastnikhABE #behaviour #modelling #named
- Synoptic: studying logged behavior with inferred models (IB, JA, YB, MDE), pp. 448–451.