AUTOMATIC-GENERATION OF TEST SCRIPTS FROM FORMAL TEST SPECIFICATIONS

被引：39

作者：

BALCER, MJ

HASLING, WM

OSTRAND, TJ

机构：

来源：

PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ) | 1989年 / 14卷

关键词：

D O I：

10.1145/75309.75332

中图分类号：

学科分类号：

摘要：

引用

页码：210 / 218

页数：9