Unifying FSM-inference algorithms through declarative specification.

Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy

Browse the full ICSE paper archive.