Exploiting canonical dependence chains and address biasing constraints to improve random test generation for shared-memory veridication
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2017. === Made available in DSpace on 2017-06-27T04:21:32Z (GMT). No. of bitstreams: 1 345872.pdf: 1423815 bytes, checksum: d7ab5e6898d999346ceec9e6...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
2017
|
| Subjects: | |
| Online Access: | https://repositorio.ufsc.br/xmlui/handle/123456789/176786 |