[ACM Press the 2014 International Symposium - San Jose, CA, USA (2014.07.21-2014.07.25)] Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014 - ARC++: effective typestate and lifetime dependency analysis
Xiao, Xusheng, Balakrishnan, Gogul, Ivančić, Franjo, Maeda, Naoto, Gupta, Aarti, Chhetri, DeepakYear:
2014
Language:
english
DOI:
10.1145/2610384.2610395
File:
PDF, 472 KB
english, 2014