An empirical study of test generation with BETA

Brazilian Computer Society. Journal

o B. de Souza Neto¹  Anamaria M. Moreira²  Joã³  Ernesto C. B. de Matos⁴ 

[1] DCC, Federal University of Rio de Janeiro, Rio de Janeiro RJ, Brazil;DIMAp, Federal University of Rio Grande do Norte, Natal RN, Brazil;Department of Computer Science –Department of Informatics and Applied Mathematics –

关键词: Software testing;    Formal methods;    B-method;    Empirical evaluation;   

DOI  :  10.1186/s13173-016-0048-1

学科分类：农业科学（综合）

来源: Springer U K

【 授权许可】

CC BY