![](/img/cover-not-exists.png)
[IEEE 2011 11th International Conference on Quality Software (QSIC) - Madrid, Spain (2011.07.13-2011.07.14)] 2011 11th International Conference on Quality Software - The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking
Galler, Stefan J., Quaritsch, Thomas, Weiglhofer, Martin, Wotawa, FranzYear:
2011
Language:
english
DOI:
10.1109/qsic.2011.22
File:
PDF, 341 KB
english, 2011