| Fechar | |
|
Singularity: a methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples
Lista de arquivos depositados em: |
|
| Nome | Última modificação | Tamanho |
| :: eras_singularity.pdf | 18/11/2019 09:30 | 201.9 KiB |
| 1 arquivo escondido |
| Fechar |