Verifying Determinism in Sequential Programs.

Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst

Browse the full ICSE paper archive.