Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.

Daniel Jackson, Craig Damon

Browse the full ISSTA paper archive.