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 proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publication11th International Conference On Quality Software
Publisher.
Pages1-10
Publication statusPublished - 2011
EventInternational Conference on Quality Software - Madrid, Spain
Duration: 13 Jul 201114 Jul 2011

Conference

ConferenceInternational Conference on Quality Software
CountrySpain
CityMadrid
Period13/07/1114/07/11

Fields of Expertise

  • Information, Communication & Computing

Cite this

Galler, S., Quaritsch, T., Weiglhofer, M., & Wotawa, F. (2011). The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking. In 11th International Conference On Quality Software (pp. 1-10). ..

The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking. / Galler, Stefan; Quaritsch, Thomas; Weiglhofer, Martin; Wotawa, Franz.

11th International Conference On Quality Software. ., 2011. p. 1-10.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Galler, S, Quaritsch, T, Weiglhofer, M & Wotawa, F 2011, The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking. in 11th International Conference On Quality Software. ., pp. 1-10, International Conference on Quality Software, Madrid, Spain, 13/07/11.
Galler S, Quaritsch T, Weiglhofer M, Wotawa F. The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking. In 11th International Conference On Quality Software. . 2011. p. 1-10
Galler, Stefan ; Quaritsch, Thomas ; Weiglhofer, Martin ; Wotawa, Franz. / The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking. 11th International Conference On Quality Software. ., 2011. pp. 1-10
@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 = ".",

}

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 contribution

SP - 1

EP - 10

BT - 11th International Conference On Quality Software

PB - .

ER -