期刊论文详细信息
Brazilian Computer Society. Journal | |
An empirical study of test generation with BETA | |
o B. de Souza Neto1  Anamaria M. Moreira2  Joã3  Ernesto C. B. de Matos4  | |
[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 | |