Automating commutativity analysis at the design level.

Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson

Browse the full ISSTA paper archive.