Lehilton L. C. Pedrosa, Arnaldo V. Moura. A New Method for Incremental Testing of Finite State Machines. In César Muñoz, editor, Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. Volume NASA/CP-2010-216215 of NASA Conference Proceedings, pages 109-118, 2010.
Abstract is missing.