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 contribution

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