@inproceedings{9b40e853a16145f5ab35cbcfb9771c5b,
title = "The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking",
author = "Stefan Galler and Thomas Quaritsch and Martin Weiglhofer and Franz Wotawa",
year = "2011",
language = "English",
pages = "1--10",
booktitle = "11th International Conference On Quality Software",
publisher = ".",
note = "International Conference on Quality Software : QSIC 2011 ; Conference date: 13-07-2011 Through 14-07-2011",
}