Jenny Abrahamson

Unifying FSM-inference algorithms through declarative specification

Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2013, 2013 35th International Conference on Software Engineering (ICSE).

Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms

Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2015, IEEE Transactions on Software Engineering.

Synoptic: studying logged behavior with inferred models

Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2011, ESEC/FSE '11.

Shedding light on distributed system executions

Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2014, ICSE Companion.