Generation of Java programs properties from test purposes

被引：0

作者：

Hanazumi, Simone ^{[1
]}

De Melo, Ana C. V. ^{[1
]}

机构：

[1] Department of Computer Science, University of São Paulo, São Paulo, Brazil

来源：

2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings | 2013年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Computer software selection and evaluation - Application programs - Formal languages - Formal specification - Java programming language - Software testing

引用

页码：362 / 365