Carlo Ghezzi, Andrea Mocci, Mattia Monga. Efficient recovery of algebraic specifications for stateful components. In Massimiliano Di Penta, Michele Lanza, editors, 9th International Workshop on Principles of Software Evolution (IWPSE 2007), in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, 2007. pages 98-105, ACM, 2007. [doi]
Abstract is missing.