Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa. The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. In Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo, editors, Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. pages 121-130, IEEE Computer Society, 2011. [doi]
Abstract is missing.