Automatic extraction of abstract-object-state machines from unit-test executions.

Tao Xie, Evan Martin, Hai Yuan

Browse the full ICSE paper archive.