The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking

Stefan Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	11th International Conference On Quality Software
Publisher	.
Pages	1-10
Publication status	Published - 2011
Event	International Conference on Quality Software: QSIC 2011 - Madrid, Spain Duration: 13 Jul 2011 → 14 Jul 2011

Conference	International Conference on Quality Software
Country/Territory	Spain
City	Madrid
Period	13/07/11 → 14/07/11

Fields of Expertise

@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",

}

TY - GEN

T1 - The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking

AU - Galler, Stefan

AU - Quaritsch, Thomas

AU - Weiglhofer, Martin

AU - Wotawa, Franz

PY - 2011

Y1 - 2011

M3 - Conference paper

SP - 1

EP - 10

BT - 11th International Conference On Quality Software

PB - .

T2 - International Conference on Quality Software

Y2 - 13 July 2011 through 14 July 2011

ER -