Automatically Mining Specifications from Invocation Traces and Method Invariants

First Page		Document Content
Date: 2014-11-03 21:20:18 Formal methods Mathematics Invariant Class invariant Emmy Noether Academia		Automatically Mining Specifications from Invocation Traces and Method Invariants Add to Reading List Source URL: people.cs.umass.edu Download Document from Source Website File Size: 290,73 KB Share Document on Facebook