Mining scenario-based specifications with value-based invariants.

David Lo, Shahar Maoz

Browse the full OOPSLA paper archive.