Hierarchical inter-object traces for specification mining.

David Lo, Shahar Maoz

Browse the full OOPSLA paper archive.