Xiao Qu, Brian Robinson. A Case Study of Concolic Testing Tools and their Limitations. In Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, ESEM 2011, Banff, AB, Canada, September 22-23, 2011. pages 117-126, IEEE, 2011. [doi]
Abstract is missing.