Model Generation For Java Frameworks

被引：0

作者：

Luo, Linghui ^{[1
,5
]}

Piskachev, Goran ^{[1
,5
]}

Krishnamurthy, Ranjith ^{[2
]}

Dolby, Julian ^{[3
]}

Bodden, Eric ^{[1
,4
]}

Schaf, Martin ^{[1
]}

机构：

[1] Amazon Web Services, United States

[2] Fraunhofer Iem, Germany

[3] Ibm Research, United States

[4] Paderborn University, Germany

[5] Amazon, United States

来源：

Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023 | 2023年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Android (operating system) - Application programs - Codes (symbols) - Cost benefit analysis - Java programming language - Mobile security - Quality control - Security systems

引用

页码：165 / 175