View in EDS PDF Full Text

Verifying Determinism in Sequential Programs.

Saved in:
Bibliographic Details
Title: Verifying Determinism in Sequential Programs.
Authors: Mudduluru, Rashmi1, rashmi4@cs.washington.edu, Waataja, Jason1, jwaataja@cs.washinton.edu, Millstein, Suzanne1, smillst@cs.washinton.edu, Ernst, Michael D.1, mernst@cs.washinton.edu
Source: ICSE: International Conference on Software Engineering; 5/22/2021, p37-49, 13p
Database: Applied Science & Technology Source
Description
DOI:10.1109/ICSE43902.2021.00017