[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Automated compatibility testing method for software logic by using symbolic execution
Uetsuki, Keiji; Tsuda, Kazuhiko; Matsuodani, Tohru
- 作者Uetsuki, Keiji; Tsuda, Kazuhiko; Matsuodani, Tohru
- 文件大小912.82KB
- 发表时间2015
- DOI10.1109/ICSTW.2015.7107427
- 页码1-6