[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - SAGA Toolbox: Interactive Testing of Guarded Assertions
Flemstrom, Daniel, Gustafsson, Thomas, Kobetski, AvenirYear:
2017
Language:
english
DOI:
10.1109/ICST.2017.59
File:
PDF, 633 KB
english, 2017