Automating Commutativity Analysis at the Design Level

Authors:

Greg Dennis, Robert Seater, Derek Rayside and Daniel Jackson

Publication Venue:

International Symposium on Software Testing and Analysis (ISSTA), Boston, MA

When Published:

Jul 1 2004

Attachment	Size
proton.pdf	194.08 KB

by gdennis

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte

Search