Fechar
Singularity: a methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples

Lista de arquivos depositados em:

sid.inpe.br/mtc-m21c/2019/09.24.17.06

Nome Última modificação Tamanho
baixar
 :: eras_singularity.pdf
18/11/2019 10:30 201.9 KiB 
  1 arquivo escondido
Fechar